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

An introduction to functional programming through Lambda calculus

Greg Michaelson

Language in action: categories, lambdas, and dynamic logic

Johan van Benthem.

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.

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.).

Pattern Calculus: Computing with Functions and Structures

by Barry Jay

Two-level functional languages

Flemming Nielson, Hanne Riis Nielson.

Logique et fondements de l'informatique: logique du 1er ordre, calculabilité et lambda-calcul

Richard Lassaigne, Michel de Rougemont