Lambda-calcul / Jean-Louis Krivine

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 : 1990 Autre Editeur : 53-Mayenne : Impr. Floch Collection : études et recherches en informatique, ISSN 0763-2770 Importance : 176 p. Présentation : couv. ill. en coul., ill. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-82091-5 Note générale : Bibliogr. p. 167-170. Index. Langues : Français (fre) Index. décimale : 04-08-Mathématiques appliquées Lambda-calcul : Types et modèles [texte imprimé] / Jean-Louis Krivine, Auteur . - Paris : Masson : 53-Mayenne : Impr. Floch, 1990 . - 176 p. : couv. ill. en coul., ill. ; 25 cm.. - (études et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-82091-5 Bibliogr. p. 167-170. Index. Langues : Français (fre) Index. décimale : 04-08-Mathématiques appliquées

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
61213	04-08-46	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200