Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Article dans une revue

Prototype Proofs in Type Theory

Abstract : Link toward file in free access: https://www.di.ens.fr/users/longo/download.html
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318025
Contributeur : UAR 3608 République des savoirs Connectez-vous pour contacter le contributeur
Soumis le : lundi 9 août 2021 - 10:38:43
Dernière modification le : vendredi 10 juin 2022 - 15:54:01

Identifiants

  • HAL Id : hal-03318025, version 1

Collections

Citation

Giuseppe Longo. Prototype Proofs in Type Theory. Mathematical Logic Quaterly, 2000, 46 (3). ⟨hal-03318025⟩

Partager

Métriques

Consultations de la notice

13