Lambda calculus

Logic for grammar: developments in linear logic and formal linguistics

Claudia Casadio.

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Martin Wirsing, Iman Hafiz Poernomo, John Newsome Crossley

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)

Jean-Yves Girard

Canonical simplification of finite objects, well quasi-ordered by tree embedding

Thomas C. Brown, Jr.

An introduction to functional programming through Lambda calculus

Greg Michaelson

Language in action: categories, lambdas, and dynamic logic

Johan van Benthem.

Pattern Calculus: Computing with Functions and Structures

by Barry Jay

Typed lambda calculi and applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Philippe de Groote, J. Roger Hindley (eds.).

Two-level functional languages

Flemming Nielson, Hanne Riis Nielson.

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science)

Samson Abramsky