Lambda-calcul, types et modèles
Éditeur: Elsevier Masson
1998184 pagesISBN 9782225820915
Langue : Français
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.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)