Lambda Calculus Papers

A Short Introduction to the Lambda Calculus

• authors: Achim Jung
• date: 2004
• url: https://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf

.

Introduction to Lambda Calculus

• authors: Henk Barendregt, Erik Barendsen
• date: December 1998, March 2000
• url: https://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf

.

Chapter 5: The Untyped Lambda Calculus

• authors: Yingfei Xiong
• date: 2021
• url: https://xiongyingfei.github.io/DPPL/2021/xiong_ch5.pdf
• format: talk-slides, course-notes

.

Untyped Lambda Calculus

• authors: C. R. Ramakrishnan
• date: 2020
• url: https://www3.cs.stonybrook.edu/~cram/cse526/Spring20/Lectures/untyped-lambda.pdf
• format: talk-slides, course-notes

.

A Lambda-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure

• authors: Hugo Herbelin
• date: 1994
• url: https://core.ac.uk/reader/47112580

.

The Lambda Calculus is Algebraic

• authors: Peter Selinger
• date: 2002
• publication: https://dl.acm.org/doi/10.1017/S0956796801004294
• online @ www.mscs.dal.ca
• topics: Lambda Calculus, Algebraic Logic

.

A Lambda Calculus with Naive Substitution

• authors: John Staples
• date: 1979
• online @ www.cambridge.org
• topics: Lambda Calculus, Name Binding

.

A Graph-like Lambda Calculus for which Leftmost-Outermost Reduction is Optimal

• authors: John Staples
• date: 1978
• url: https://link.springer.com/chapter/10.1007/bfb0025740?noAccess=true
• publication: https://archive.org/details/graphgrammarsthe0000unse
• topics: Lambda Calculus
• future-topics: Combinatory Logic

In proceedings "Graph-grammars and their application to computer science and biology: international workshop, Bad Honnef, October 30-November 3, 1978" -- page 440.

On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control

• authors: Philippe de Groote
• date: 1994
• url: https://members.loria.fr/PdeGroote/papers/lpar94.pdf

.