LAMBDA-CALCUL. Types et modèles

Note moyenne 4
( 1 avis fournis par GoodReads )
 
9782225820915: LAMBDA-CALCUL. Types et modèles
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.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Si 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