302 articles – 345 Notices  [english version]
HAL : hal-00686795, version 1
Fiche concise  Récupérer au format
The permutative lambda-calculus
Accattoli B., Kesner D.
in Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) - International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Mérida : Venezuela, Bolivarian Republic Of (2012) - http://hal.archives-ouvertes.fr/hal-00686795
Type de publication : Communications avec actes
Domaine : Informatique/Langage de programmation
Titre : The permutative lambda-calculus
Auteur(s) : Beniamino Accattoli 1, Delia Kesner (, http://www.pps.jussieu.fr/~kesner) 2
Laboratoire :
1 :  Laboratoire d'informatique de l'école polytechnique (LIX)
http://www.lix.polytechnique.fr/
CNRS : UMR7161 – Polytechnique - X
Route de Saclay 91128 PALAISEAU CEDEX
France
2 :  Preuves, Programmes et Systèmes (PPS)
http://www.pps.jussieu.fr
CNRS : UMR7126 – Université Paris VII - Paris Diderot
Université Denis Diderot 2 Place Jussieu - case 7014 75005 PARIS
France
Langue du texte
intégral :		 Anglais
Date de production,
écriture :		 2012
Titre de l'ouvrage : Proceedings of the 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Audience : internationale
Date de publication : 10/03/2012
Volume : 7180
Page, identifiant, ... : Pages 23-36
Série/Collection : Lecture Notes in Computer Science
Titre de la conférence : International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
Date de la conférence : 2012
Ville : Mérida
Pays : Venezuela, République Bolivarienne Du
hal-00686795, version 1
http://hal.archives-ouvertes.fr/hal-00686795
oai:hal.archives-ouvertes.fr:hal-00686795
Contributeur : Delia Kesner <>
Soumis le : Mercredi 11 Avril 2012, 11:33:21
Dernière modification le : Mardi 26 Juin 2012, 16:54:33