Here are some sites to help your search as well.
The lambda calculus: its syntax and semantics - Google Books Result - File Format: PDF/Adobe Acrobat - Quick View
Click here for Lambda calculus suggested research that spans decades like:
Please click here to continue your search.
Perhaps finding recommendations from groups where people are discussing lambda calculus might be of use like...
Click here for groups that talk about lambda calculus.
End "Lambda calculus" research and recommendations
Abstract Computing Machines: A Lambda Calculus Perspective
Editorial Reviews — ... Product Description | This book takes a Lambda-calculus approach to organizing computations. It sets out with a brief introduction to Lambda-calculus, describes a variant of the classical secd-machine as a basic interpreter for the Lambda-calculus, and in the main part continues with strongly normalizing abstract Lambda-calculus machines, of which some are interpreting and some execute compiled code. The classical functional abstract machines are introduced as their weakly normalizing counterparts, and abstract...more
Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts)
Customer Reviews —
Editorial Reviews — ... Product Description | Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate...more
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Editorial Reviews — ... Product Description | This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 52 submissions....more
Lambda-calculus models of programming languages
Lambda calculus are available like so:
Fatal error: Class 'expKrc' not found in /home/lingling/domains/php/eBay_cls.php on line 161
End "Lambda calculus" resources and sales