Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
4031 more...
Item
MW0001744 - BLANK
Item
MW0001745 - 27/07/02 MW reflections & phone messages
Item
MW0001745 - 27/07/02 MW reflections & phone messages
Item
MW0001746 - 22/07/02 Copenhagen: Conversations FW Lawvere re. restriction of toposes to be generalised spaces (to be localic / QD)
Item
MW0001747 - 22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics
Item
MW0001748 - 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
Item
MW0001749 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Gordon Plotkin: Algebraic aspects of domain theory / breaktime conversations: FW Lawvere / Glynn Winskel: Domain theory for concurrency / brief conversation: FW Lawvere
Item
MW0001750 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: FW Lawvere: Some open problems concerning Cartesian closed categories / breaktime conversations: FW Lawvere, A Kock re. differential geometry in a topos & objective number theory
Item
MW0001751 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Escardo: Interactions between domain theory & topology / Panagis Karazeris: Left Kan extensions power domain distributivity & preservation of bisimulation
4195 more...
Search
Reports
22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics
Reports
There are no relevant reports for this item
Cancel