Articles liés à Lambda-Calcul. Types Et Modeles
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Présentation de l'éditeur :
Le lambda-calcul typé suscite un grand intérêt en raison de ses rapports étroits avec des langages de programmation et du lien qu'il établit entre les notions de programmes et de preuve en logique intuitionniste.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurDunod
- Date d'édition1990
- ISBN 10 2225820910
- ISBN 13 9782225820915
- ReliureRelié
- Nombre de pages176
(Aucun exemplaire disponible)
Chercher: Créez une demandeSi vous ne trouvez pas un livre sur AbeBooks, nous le rechercherons automatiquement pour vous parmi les livres quotidiennement ajoutés au catalogue.
Créez une demande