Dr. Dietmar Kreye
Diplom-Informatiker

Lambda-Calculus

The Lambda Calculus: Its Syntax and Semantics
Hendrik Pieter Barendregt (Book, 1984)

Reduction Languages for Reduction Machines
Klaus Berkling (In Proceedings, 1975)

A Symmetric Complement to the Lambda Calculus
Klaus Berkling (Technical Report, 1976)

Combinatory Logic (Vol. 1)
Haskell B. Curry; R. Feys (Book, 1958)

Lambda Calculi: A Guide for Computer Scientists
Chris Hankin (Book, 1994)

Introduction to Combinators and Lambda Calculus
J. R. Hindley; J. P. Seldin (Book, 1986)

A Reversible SE(M)CD Machine
Werner E. Kluge [Pieter Koopman; Chris Clack (Eds.)] (In Collection, 2000)

Call by Name, Call by Value, and the Lambda Calculus
G. Plotkin (Article, 1974)

Highlights of the History of Lambda Calculus
J. B. Rosser (Article, 1984)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004