Introduction to combinators and [lambda]-calculus /

The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1981)

Two-level functional languages /
by: Nielson, Flemming, 1955-
Published: (1992)

Lambda calculi : a guide for computer scientists /
by: Hankin, Chris
Published: (1994)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

Label-selective [lambda]-calculus /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 /
Published: (1975)

Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings /
Published: (1993)

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

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Published: (1995)

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Published: (2005)

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings /
Published: (2009)

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /
Published: (2001)

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
Published: (2007)

Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings /
Published: (2007)

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings /
Published: (2003)

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings /
Published: (1999)

Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
Published: (2011)

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings /
Published: (2005)

The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /
by: Longo, G. Giuseppe
Published: (1992)

Introduction to combinatory logic /
by: Hindley, J. Roger
Published: (1972)

Derivation and computation : taking the Curry-Howard correspondence seriously /
by: Simmons, Harold
Published: (2000)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Published: (1984)

Language in action : categories, lambdas, and dynamic logic /
by: Benthem, Johan van, 1949-
Published: (1991)

Constructive logics /
by: Gallier, Jean H.
Published: (1991)

Lambda II /
Published: (1983)

Lambda II /
Published: (1983)

The combinatory programme /
Published: (1995)

Combinatory logic : pure, applied and typed /
by: Bimbo, Katalin, 1963
Published: (2012)

Elements of combinatory logic /
by: Fitch, Frederic Brenton
Published: (1974)

Lambda-rings /
by: Yau, Donald
Published: (2010)

Language in action : categories, lambdas, and dynamic logic /
by: Benthem, Johan van, 1949-
Published: (1991)

Combinatory logic.
Published: (1972)

Combinatory logic : pure, applied and typed /
by: Bimbó, Katalin, 1963-
Published: (2012)

Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)