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
1935 en plus...
Pièce
MW0003329 - 26/07/90 CT90 category theory conference, Como, Italy: P Freyd: Computer science mathematics contradicts computer science / JW Gray: Semantics for A-calculi
Pièce
MW0003329 - 25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory
Pièce
MW0003330 - ?//07/90 CT90 category theory conference, Como, Italy: Peter Johnstone: ??
Pièce
MW0003330 - ?//07/90 CT90 category theory conference, Como, Italy: ??: ??
Pièce
MW0003331 - 22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian
Pièce
MW0003331 - 22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian (contd.)
Pièce
MW0003332 - 22/07/90 CT90 category theory conference, Como, Italy: Evening conversations incl M Wright, G Khatcherian, FW Lawvere & A Kock
Pièce
MW0003332 - 22/07/90 CT90 category theory conference, Como, Italy: Evening conversations incl M Wright, G Khatcherian, FW Lawvere & A Kock (contd.)
Pièce
MW0003333 - 22/07/90 CT90 category theory conference, Como, Italy: Discussions incl. M Wright, G Khatcherian FW Lawvere, A Kock (contd.)
6291 en plus...
Rechercher
Rapports
22/07/90 CT90 category theory conference, Como, Italy: Conversations enroute to conference incl M Wright & G Khatcherian
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler