The permutative lambda-calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

The permutative lambda-calculus

Beniamino Accattoli
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Delia Kesner
  • Fonction : Auteur
  • PersonId : 836418
Preuves, Programmes et Systèmes

Domaines

Langage de programmation [cs.PL]

Delia KESNER  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00686795

Soumis le : mercredi 11 avril 2012-11:33:21

Dernière modification le : vendredi 24 mars 2023-14:52:55

Fichier non déposé

Dates et versions

hal-00686795 , version 1 (11-04-2012)

Identifiants

  • HAL Id : hal-00686795 , version 1

Citer

Beniamino Accattoli, Delia Kesner. The permutative lambda-calculus. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), 2012, Mérida, Venezuela. pp.Pages 23-36. ⟨hal-00686795⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 X PPS CNRS LIX X-LIX X-DEP-INFO
109 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More