Presentazione dell'autore Henk Barendregt:

Libri pubblicati finora da Henk Barendregt:

Calcolo Lambda con i tipi - Lambda Calculus with Types
Cambridge
Questo manuale con esercizi rivela in formalismi, finora utilizzati principalmente per la progettazione e la...
Calcolo Lambda con i tipi - Lambda Calculus with Types
Il calcolo lambda. Sintassi e semantica - The Lambda Calculus. Its Syntax and Semantics
Kings College Pubn
Il calcolo lambda, trattato in questo libro...
Il calcolo lambda. Sintassi e semantica - The Lambda Calculus. Its Syntax and Semantics
Un satellite del calcolo Lambda - A Lambda Calculus Satellite
Kings College Pubn
Nel 1936 la nozione di computabilità intuitiva fu resa operativa in due modi diversi: tramite...
Un satellite del calcolo Lambda - A Lambda Calculus Satellite
Un satellite del calcolo Lambda - A Lambda Calculus Satellite
Kings College Pubn
Nel 1936 la nozione di computabilità intuitiva fu resa operativa in due modi diversi: tramite...
Un satellite del calcolo Lambda - A Lambda Calculus Satellite
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)