Chargement...
Chargement...

Lambda-calcul, types et modèles

Auteur : Jean-Louis Krivine

42,50 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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. ©Electre 2025

Fiche Technique

Paru le : 25/05/1998

Thématique : Mathématiques Appliquées

Auteur(s) : Auteur : Jean-Louis Krivine

Éditeur(s) : Elsevier Masson

Collection(s) : Non précisé.

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782225820915

Reliure : Cartonné

Pages : 184

Hauteur: 24.0 cm / Largeur 16.0 cm


Épaisseur: 1.5 cm

Poids: 477 g