Lambda calculus

Logic for grammar: developments in linear logic and formal linguistics

Claudia Casadio.

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

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

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer Science)

Pawel Urzyczyn

Lambda calculi: a guide for the perplexed

Chris Hankin.

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

edited by Luke Ong

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Vincent van Oostrom, Aart Middeldorp

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

Samson Abramsky

An introduction to lambda calculus

Raven Ricci