Programming Language Theory: Difference between revisions
| Line 113: | Line 113: | ||
* Hennessy. [http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz ''Semantics of Programming Languages'']. Wiley, 1990. | * Hennessy. [http://www.cogs.susx.ac.uk/users/matthewh/semnotes.ps.gz ''Semantics of Programming Languages'']. Wiley, 1990. | ||
* Barendregt. [http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085 ''The Lambda Calculus: Its Syntax and Semantics''], Second Edition. North Holland, 1985. | * Barendregt. [http://www.amazon.com/Lambda-Calculus-103-Second-Foundations/dp/0444875085 ''The Lambda Calculus: Its Syntax and Semantics''], Second Edition. North Holland, 1985. | ||
* Böhm and Berarducci. ["Automatic Synthesis of typed Lambda-programs on Term Algebras"]. ''Theoretical Computer Science'' 39, August 1985. | |||
* Church. [http://www.amazon.com/Calculi-Lambda-Conversion-Mathematics-Studies/dp/0691083940 ''The Calculi of Lambda Conversion'']. Princeton University Press, 1941. | * Church. [http://www.amazon.com/Calculi-Lambda-Conversion-Mathematics-Studies/dp/0691083940 ''The Calculi of Lambda Conversion'']. Princeton University Press, 1941. | ||