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

The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category Theory

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03318238
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : mardi 10 août 2021 - 10:47:56
Dernière modification le : mardi 10 août 2021 - 16:12:49

Fichier

2021_08_09_2church-notes (1).p...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Giuseppe Longo. The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Category Theory. Annals of Pure and Applied Logic, Elsevier Masson, 1988, pp.93-133. ⟨10.1016/0168-0072(88)90017-6⟩. ⟨hal-03318238⟩

Partager

Métriques

Consultations de la notice

45

Téléchargements de fichiers

17