Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

Emmanuel Beffara; Lionel Vaux

Chapitre D'ouvrage Année : 2013

Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

(1) , (1)

1

Emmanuel Beffara

Fonction : Auteur
PersonId : 3827
IdHAL : emmanuel-beffara
ORCID : 0000-0003-1993-3401
IdRef : 169636372

Institut Mathématiques de Luminy

CV

Lionel Vaux

Fonction : Auteur
PersonId : 7122
IdHAL : lionel-vaux
ORCID : 0000-0001-9466-418X
IdRef : 124065856

Institut Mathématiques de Luminy

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Logique [math.LO]

Emmanuel Beffara : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03652486

Soumis le : mardi 26 avril 2022-16:39:27

Dernière modification le : vendredi 24 mars 2023-14:53:26

Dates et versions

hal-03652486 , version 1 (26-04-2022)

Identifiants

HAL Id : hal-03652486 , version 1

Citer

Emmanuel Beffara, Lionel Vaux. Programmes, preuves et fonctions : le ménage à trois de Curry-Howard. Philippe Langlois. Informatique mathématique : Une photographie en 2013, Presses Universitaires de Perpignan, 2013, 978-2-35412-183-9. ⟨hal-03652486⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-AMU INSMI

8 Consultations

0 Téléchargements

Programmes, preuves et fonctions : le ménage à trois de Curry-Howard

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager