OK
Changer de librairie
Me connecter
Listes d'envies
Panier
Livres
en français
Livres en langues
étrangères
Conseils
de libraires
Sélections
thématiques
L'Agenda
des librairies
Nos cycles
d'événements
☰
Rayon
Fondements des mathématiques (logique)
dans
Science
Sciences et sciences fondamentales
Mathématiques
Fondements des mathématiques (logique)
Lambda-calcul, types et modèles
Revenir à la liste
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 :
25/05/1998
EAN :
9782225820915
Lambda-calcul, types et modèles
de
Jean-Louis Krivine
chez
Elsevier Masson
Paru le
25/05/1998
| Cartonné
184
pages
Professionnels
42.50
€
Indisponible
Donner votre avis sur ce livre
Ajouter à votre liste d'envie
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.
Avis des lecteurs
Soyez le premier à donner votre avis
Du même auteur :
Jean-Louis Krivine
Les décompilateurs
Jean-Louis Krivine
À paraître
chez l'éditeur
15.00
€
Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul de...
René Cori, Daniel Lascar
Ajouter à votre panier
46.00
€
Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théor...
René Cori, Daniel Lascar
Ajouter à votre panier
45.00
€
Théorie des ensembles
Jean-Louis Krivine
Théorie des ensembles
Jean-Louis Krivine
Ajouter à votre panier
40.00
€
Voir tous les livres de
Jean-Louis Krivine
↑