OK
www.librest.com
Revenir à la liste
Lambda-calcul, types et modèles
Partager ce livre sur Facebook Partager ce livre sur Twitter

Fiche technique

Format : Cartonné
Nb de pages : 184 pages
Poids : 477 g
Dimensions : 16cm X 24cm
Date de parution :
EAN : 9782225820915

Lambda-calcul, types et modèles

de

chez Elsevier Masson

Paru le | Cartonné 184 pages

Professionnels

42.50 € Indisponible

Quatrième de couverture

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.

Du même auteur : Jean-Louis Krivine

↑