Détail de l'auteur
Auteur Jean-Louis Krivine |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Lambda-calcul, types et modLles / Jean-Louis Krivine
Titre : Lambda-calcul, types et modLles Type de document : texte imprimé Auteurs : Jean-Louis Krivine, Auteur Mention d'édition : Nouv. Ød. Editeur : PARIS : MASSON Année de publication : 1998 Importance : 184 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-225-82091-5 Prix : 42.5 EUR Langues : Français (fre) Mots-clés : informatique programmation thØorie Index. décimale : 511 Résumé : Introduction ? divers aspects du lambda-calcul, inventØ en 1930, et considØrablement dØveloppØ depuis, ? cause de sa capacitØ ? modØliser les langages de programmation fonctionnels. Lambda-calcul, types et modLles [texte imprimé] / Jean-Louis Krivine, Auteur . - Nouv. Ød. . - PARIS : MASSON, 1998 . - 184 p. ; 24 x 16 cm.
ISBN : 978-2-225-82091-5 : 42.5 EUR
Langues : Français (fre)
Mots-clés : informatique programmation thØorie Index. décimale : 511 Résumé : Introduction ? divers aspects du lambda-calcul, inventØ en 1930, et considØrablement dØveloppØ depuis, ? cause de sa capacitØ ? modØliser les langages de programmation fonctionnels. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E010886 E000-004-41/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 004 Informatique, traitement des données Disponible E010885 E000-004-41/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 004 Informatique, traitement des données Disponible