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

Giuseppe Longo

doi:10.1016/0168-0072(88)90017-6

Article Dans Une Revue Annals of Pure and Applied Logic Année : 1988

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

(1, 2)

1
2

Giuseppe Longo

Fonction : Auteur
PersonId : 1074914
IdHAL : giuseppe-longo

University of Pisa - Università di Pisa

Dipartimento di Informatica [Pisa]

CV

Mots clés

Mathematical Knowledge Foundations Cognition Cognition and Foundations of Mathematical Knowledge

Domaines

Informatique [cs] Mathématiques [math]

Fichier principal

2021_08_09_2church-notes (1).pdf (387.91 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Cécile Alrivie : Connectez-vous pour contacter le contributeur

https://ens.hal.science/hal-03318238

Soumis le : mardi 10 août 2021-10:47:56

Dernière modification le : vendredi 22 mars 2024-03:09:38

Archivage à long terme le : jeudi 11 novembre 2021-18:03:53

Dates et versions

hal-03318238 , version 1 (10-08-2021)

Identifiants

HAL Id : hal-03318238 , version 1
DOI : 10.1016/0168-0072(88)90017-6

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS

53 Consultations

118 Téléchargements