zoeken

Global search

E-mail*This field is required.

wachtwoord*This field is required.

ArchiefMichael Wright Collection
1929 more...
StukMW0003326 - 25/07/90 CT90 category theory conference, Como, Italy: FW Lawvere: Intrinsic Co-Heyting boundaries in certain toposes
StukMW0003326 - 25/07/90 CT90 category theory conference, Como, Italy: Branching of Categories
StukMW0003327 - 25/07/90 CT90 category theory conference, Como, Italy: Homotopy theory
StukMW0003327 - 25/07/90 CT90 category theory conference, Como, Italy: M Tierney: Groupoids & classifiying spaces
StukMW0003328 - 25/07/90 CT90 category theory conference, Como, Italy
StukMW0003328 - 25/07/90 CT90 category theory conference, Como, Italy (contd.)
StukMW0003329 - 26/07/90 CT90 category theory conference, Como, Italy: P Freyd: Computer science mathematics contradicts computer science / JW Gray: Semantics for A-calculi
StukMW0003329 - 25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory
StukMW0003330 - ?//07/90 CT90 category theory conference, Como, Italy: Peter Johnstone: ??
6297 more...

Reports

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

There are no relevant reports for this item

Printed: 2026-04-16