Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
6651 en plus...
Pièce
MW0000108 - 12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 1: What is a process from the categorical viewpoint? / talk 2 (part 1)
Pièce
MW0000108 - BLANK
Pièce
MW0000109 - 11/09/07 conversations: I Stubbe re. F Van Oystaeyen's work on noncommutative topology
Pièce
MW0000109 - 11/09/07 conversations: I Stubbe re. F Van Oystaeyen's work on noncommutative topology (contd.)
Pièce
MW0000110 - 12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation
Pièce
MW0000110 - BLANK
Pièce
MW0000111 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Bernard Teissier: Cognation & foundations
Pièce
MW0000111 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Thierry Paul: Quantum to classical, letting the dimension diverge
Pièce
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 en plus...
Rechercher
Rapports
12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler