Lambda calculus u 10 stranica s riješenim primjerima

[marin]

Da se malo podsjetim za ovaj Langang, pokušao sam proći lambda
calculus doma. Za sada mi je najbolja i najjednostavnija literatura
bila

Loczewski, Georg P., The Lambda Calculus: A Brief Introduction, 1st.
Edition 2005 –Darmstadt, STMV – S. Toeche-Mittler Verlag

Kao PDF dostupno na:
http://www.aplusplus.net/lcintro.pdf

Cini mi se da je autor prošao najvažniju literaturu i udžbenike i iz
njih izlučio ono bitno što netko može proći u jedan dan, koristeći
samo ovih 10 stranica, ovo je naveo na kraju kao literaturu:

- H. Barendregt. The Lambda Calculus – Its Syntax and Semantics. 1981.
- Howard B. Curry and R. Feys. Combinatory Logic, volume 1, 1958.
- Jacques Chazarain. Programmer avec Scheme – De la pratique a la
theorie ´ 1996.
- Alonzo Church. The Calculi of Lambda Conversion. 1941.
- Simon L. Peyton Jones. The Implementation of Functional Programming
Languages.1987
- Samuel N. Kamin. Programming Languages – An Interpreter-Based
Approach. 1990.
- J.E. Stoy. Denotational Semantics. 1981.

++++

Zanimaju me što iskusniji misle o tom dokumentu...

Marin

[Ivan Budiselic]

2012/2/6 marin <marin...@gmail.com>:
[snip]

> Zanimaju me što iskusniji misle o tom dokumentu...

Nisam od tih iskusnijih, ali nekom ce mozda biti koristan komentar da
me na prvi pogled to sto je obradjeno u dokumentu podsjetilo na ono
sto je o lambda racunu obradjeno na (dosta dobrom) Good Math/Bad Math
blogu sto sam svojevremeno procitao.

http://goodmath.blogspot.com/search?q=lambda+calculus

Pozdrav,
Ivan

[Marin Saric]

Heh moj bivši kolega :-) Sjećam se njegovih postova sa internih
inžinjerskih mailing lista. Pročitat ću :-)
Marin

2012/2/6 Ivan Budiselic <ibudi...@gmail.com>:

> --
> You received this message because you are subscribed to the Google Groups "lang gang" group.
> To post to this group, send email to lang...@googlegroups.com.
> To unsubscribe from this group, send email to lang-gang+...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lang-gang?hl=en.
>