Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects

Search

Global search

Advanced search

Clipboard
- Clipboard
- Clear all selections
- Go to clipboard
- Load clipboard
- Save clipboard
Language
- Language
- English
- Français
- Español
- Nederlands
- Português
Quick links
- Quick links
- Home
- About
- Privacy Policy
- Help

Have an account?

Email*This field is required.

Password*This field is required.

FondsMichael Wright Collection
1935 more...
ItemMW0003329 - 26/07/90 CT90 category theory conference, Como, Italy: P Freyd: Computer science mathematics contradicts computer science / JW Gray: Semantics for A-calculi
ItemMW0003329 - 25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory
ItemMW0003330 - ?//07/90 CT90 category theory conference, Como, Italy: Peter Johnstone: ??
ItemMW0003330 - ?//07/90 CT90 category theory conference, Como, Italy: ??: ??
ItemMW0003331 - 22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian
ItemMW0003331 - 22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian (contd.)
ItemMW0003332 - 22/07/90 CT90 category theory conference, Como, Italy: Evening conversations incl M Wright, G Khatcherian, FW Lawvere & A Kock
ItemMW0003332 - 22/07/90 CT90 category theory conference, Como, Italy: Evening conversations incl M Wright, G Khatcherian, FW Lawvere & A Kock (contd.)
ItemMW0003333 - 22/07/90 CT90 category theory conference, Como, Italy: Discussions incl. M Wright, G Khatcherian FW Lawvere, A Kock (contd.)
6291 more...

Reports

22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian

There are no relevant reports for this item

Cancel

Printed: 2026-04-17