Mostrar 1 resultados

Descrição arquivística

Adamek, Jiri

Previsualizar a impressão

Visualização em ficha Visualização em tabela

21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Jiri Adamek: A description of free iterative theories (2nd part) / Fer-Jan de Vries: A lambda calculus for D / lunchtime conversations: FW Lawvere & M Hyland re. algebra of time, topos theory

MW0001748 · Item

Parte de Michael Wright Collection