Subject: Re: help needed with Lambda-Calculus From: Erik Naggum <erik@naggum.no> Date: 1997/07/13 Newsgroups: comp.lang.lisp Message-ID: <3077777734734493@naggum.no> * M. J. Morley | then the correct citation would help: | | H.P. Barendergt, "Functional Programming and Lambda Calculus", Chapter | 7 of "Formal Models and Semantics", Vol B of J. van Leeuwen, editor, | Handbook of Theoretical Science, Elsevier Science, 1990. | | one of the most useful books in computer science. let me second that wholeheartedly. both volumes, actually. (available in paperback at a small fraction of the cost of the hardcover edition.) I found Barendregt's article in Handbook of Logic in Computer Science (a series edited by Abramsky, Gabbay, and Maibaum), Volume 2, Background: Computational Structures, entitled "Lambda Calculi with Types" to give a better introduction to untyped lambda calculus and reduction. YMMV. in addition, if you can still obtain the following book, it's a big win: H.P. Barendregt: The Lambda Calculus, Its Syntax and Semantics. Volume 103 in Studies in Logic and the Foundations of Mathematics. originally published in 1981, the revised edition was published by North Holland in 1984, reprinted 1985. ISBN 0-444-87508-5. this is a very thorough introduction to Lambda Calculus. #\Erik -- if DUI is "Driving Under the Influence" then GUI must be "Graphics Under the Influence"