Quali sono alcune risorse per l'apprendimento lambda calcolo? [chiuso]

Question

Quindi la voce di Wikipedia su Lambda Calcolo era interessante, ma ho finito. Auguro a tuffarsi un po 'più profondo e ottenere una migliore comprensione del lambda calcolo.

Qualcuno può consigliare ciò che essi considerano essere il miglior libro o primer per lambda calcolo?

Answer 1

Se si è fatto con la voce di Wikipedia, seguire il suo legame con la e interpretazione dei programmi per elaboratore , fare le assegnazioni, o leggere il libro .

Answer 2

Beh, c'è sempre Introduzione alla Lambda Calcolo . Ho provato a leggere un paio di volte, ma sempre rimasto bloccato. Ho la sensazione fastidiosa che so già la maggior parte di questa roba e probabilmente un tempo più facile capire se è stato presentato in termini di Lisp / sistema piuttosto che la matematica. Si potrebbe avere più fortuna, però:)

Answer 3

Ho trovato " Un'introduzione al Lambda Calcoli per Computer scienziati " di Chris Hankin di essere abbastanza buono, ma ho veramente solo usato per una classe - non ha usato nel mondo reale:)

Answer 4

Provare a scrivere un'interpetter lambda calcolo, idealmente in un linguaggio funzionale utilizzando la configurazione in sintassi del linguaggio, piuttosto che attraverso un parser. Questo è sorprendentemente facile e un buon modo per migliorare la vostra sensazione di esso.

Answer 5

Recentemente ho comprato un libro da Amazon intitolato come "Introduzione alla programmazione funzionale attraverso Lambda Calcolo " da Greg Michaelson. E 'più di un'introduzione alla programmazione funzionale e introduce anche lambda calcolo. La prima impressione è abbastanza buona. Un autonomo e facile da leggere il libro. Qui , è possibile scaricare la versione gratuita senza indice in PostScript.

Answer 6

Il libro che mi ha fatto iniziare a usare e capire lambda calcolo è stato "Rappresentazione e inferenza per il linguaggio naturale" di Blackburn e Bos. Si tratta di un libro sulla elaborazione del linguaggio naturale utilizzando Prolog. Un altro libro che si potrebbe prendere in considerazione è "comprensione del linguaggio naturale" di Allen. Infine, se vi piace lambda calcolo, si avrà probabilmente anche godere di logica combinatoria, come i combinatori possono essere definite come espressioni lambda. Per questo, vi raccomando vivamente il libro di Smullyan di enigmi, "per prendere in giro un Mockingbird". Verso la fine che usa i combinatori per costruire un linguaggio di programmazione rudimentale.

Answer 7

Credo che il riferimento in materia di lambda-calcolo in sé è ancora libro di Barendregt .

Al di là che più o meno dipende da ciò che "parte" del lambda-calcolo siete interessati a: digitazione? teoria della dimostrazione? termine riscrittura? programmazione funzionale?

Ognuno di questi è un campo in se stesso, e non so di qualsiasi libro che copre tutto.

Answer 8

Ecco una bella spiegazione (utilizzando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

Ed ecco un po 'nifty (dal mio blog), riducendo fattoriale ricorsiva per lambda puri: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Buon divertimento!