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
6651 more...
Item
MW0000108 - 12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 1: What is a process from the categorical viewpoint? / talk 2 (part 1)
Item
MW0000108 - BLANK
Item
MW0000109 - 11/09/07 conversations: I Stubbe re. F Van Oystaeyen's work on noncommutative topology
Item
MW0000109 - 11/09/07 conversations: I Stubbe re. F Van Oystaeyen's work on noncommutative topology (contd.)
Item
MW0000110 - 12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation
Item
MW0000110 - BLANK
Item
MW0000111 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Bernard Teissier: Cognation & foundations
Item
MW0000111 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Thierry Paul: Quantum to classical, letting the dimension diverge
Item
MW0000112 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Olivier Laurent: When 77A = A / breaktime conversations / Ieke Moerdijk: Trees, tensors & weak higher categories
1575 more...
Search
Reports
12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation
Reports
There are no relevant reports for this item
Cancel