Affichage de 1 résultats

Description archivistique

Adamek, Jiri

Aperçu avant impression

Card view Table view

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 · Pièce

Fait partie de Michael Wright Collection