Demo site

Showing 28 results

Archival description

CT90 category theory conference, Como

Print preview

Card view Table view

28/07/90 CT90 category theory conference, Como, Italy: Conversations incl M Wright & FW Lawvere re etendues (contd.)

michael-wright-collection-MW0003341 · Item

Part of Michael Wright Collection

28/07/90 CT90 category theory conference, Como, Italy: Conversations incl M Wright & FW Lawvere re etendues

michael-wright-collection-MW0003341 · Item

Part of Michael Wright Collection

26/07/90 CT90 category theory conference, Como, Italy: P Freyd: Computer science mathematics contradicts computer science / JW Gray: Semantics for A-calculi

michael-wright-collection-MW0003329 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory

michael-wright-collection-MW0003329 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: M Tierney: Groupoids & classifiying spaces

michael-wright-collection-MW0003327 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: Homotopy theory

michael-wright-collection-MW0003327 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: FW Lawvere: Intrinsic Co-Heyting boundaries in certain toposes

michael-wright-collection-MW0003326 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy (contd.)

michael-wright-collection-MW0003328 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: Branching of Categories

michael-wright-collection-MW0003326 · Item

Part of Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy

michael-wright-collection-MW0003328 · Item

Part of Michael Wright Collection