Quote:
|
Originariamente inviato da Ziosilvio
Considerando che il lambda-calcolo è stato inventato da Alonzo Church in persona... sì, è normale 
Conoscere un po' di teoria della calcolabilità può essere utile.
Testi non ne conosco, a parte "The Lambda Calculus: Its Syntax and Semantics" di Henrik Pieter Barendregt (che però è veramente un mattone) e "Introduzione alla logica combinatoria" di Hindley, Lercher e Seldin, edito in Itaia da Boringhieri --- e che quindi o non si trova, o costa un sacco di Eurozzi  |
ok ... allora diciamo che per ora quello che serve a me sono le basi per la valutazione delle espressioni con il lambda calcolo ...
Sul mio libro , metodi informazionali , e' davvero concentrato in 6 paginette davvero minime minime.
Quindi non devo certo approfondire nulla ... purtroppo di sto libro odio il fatto che da per scontato quasi tutti i passaggi ... e io mi perdo ...