1 résultat(s) recherche sur le mot-clé 'théorème de Bohm'    

Lambda-calcul / Jean-Louis KRIVINE (DL 1990)

Public ISBD Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Masson Année de publication : DL 1990 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-176 p. ISBN/ISSN/EAN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul  arithmétique fonctionnelle  logique combinatoire  théorème de Bohm  correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - Paris : Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul  arithmétique fonctionnelle  logique combinatoire  théorème de Bohm  correspondance de Curry-Howard Note de contenu : index, notation, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
1044	KRI/02/6330	Livre	Recherche	Salle	Disponible