Skip to main content alibris logo

Lambda calculus Books

An Introduction to Functional Programming Through Lambda Calculus An Introduction to Functional...

Greg Michaelson
Buy from $12.05

The Lambda Calculus: Its Syntax and Semantics The Lambda Calculus: Its...

Henk Barendregt
Buy from $27.26

Lambda-Calculus and Combinators: An Introduction Lambda-Calculus and...

J Roger Hindley, Jonathan P Seldin
Buy from $54.52

Domains and Lambda-Calculi Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien
Buy from $72.63

Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings Typed Lambda Calculi and...

Jean-Yves Girard (Editor)
Buy from $60.65

Lambda Calculus with Types Lambda Calculus with Types

Henk Barendregt, Wil Dekkers
Buy from $98.43

Lectures on the Curry-Howard Isomorphism: Volume 149 Lectures on the Curry-Howard...

Morten Heine S°rensen, SC, Prof. Pawel Urzyczyn
Buy from $176.78

Categories for Types Categories for Types

Roy L Crole
Buy from $62.00

Proofs and types Proofs and types

Girard
Buy from $199.53

Language in Action: Categories, Lambdas, and Dynamic Logic Language in Action:...

Johan Van Benthem
Buy from $31.95

Lambda Calculi: A Guide for Computer Scientists Lambda Calculi: A Guide for...

Chris Hankin
Buy from $31.82

Language in Action: Categories, Lambdas and Dynamic Logic Volume 130 Language in Action:...

J Van Benthem
Buy from $25.30

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings Typed Lambda Calculi and...

Masahito Hasegawa (Editor)
Buy from $74.63

Language and Grammar: Studies in Mathematical Linguistics and Natural Language Volume 168 Language and Grammar: Studies...

Claudia Casadio (Editor), Philip Scott (Editor)
Buy from $41.13

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 1997, Proceedings Typed Lambda Calculi and...

Philippe De Groote (Editor), J Roger Hindley (Editor)
Buy from $39.74

Lambda-Calculus, Combinators and Functional Programming Lambda-Calculus, Combinators...

G. E. Revesz
Buy from $61.96

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

Luke Ong (Editor)
Buy from $58.00

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings Typed Lambda Calculi and...

Mariangiola Dezani-Ciancaglini (Editor), Gordon Plotkin (Editor)
Buy from $32.00

Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings Typed Lambda Calculi and...

Samson Abramsky (Editor)
Buy from $60.65

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings Typed Lambda Calculi and...

Marc Bezem (Editor), Jan F Groote (Editor)
Buy from $15.27

The Lambda Calculus: Its Syntax and Semantics Volume 103 The Lambda Calculus: Its...

H P Barendregt
Buy from $139.01

Lambda-conversion and logic ... Lambda-conversion and logic ....

Adrian Rezus
Buy from $19.80