Subject 'Lambda calculus', all books (ISBNdb.com)

Abstract computing machines
Abstract computing machines: a lambda calculus perspective
W. Kluge, Werner Kluge,
Publisher: Berlin ; Springer, c2005.
ISBN: 3540211462 LCC: QA267 Edition: (hd.bd.)

Adapting proof-as-programs
Adapting proof-as-programs: the Curry-Howard protocol
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Publisher: New York : Springer, c2005.
ISBN: 0387281835 Edition: (ebook)

Adapting proofs-as-programs
Adapting proofs-as-programs: the Curry-Howard protocol
Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing,
Publisher: New York : Springer c2005.
ISBN: 0387237593 DDC: 511.36 LCC: QA9.54 Edition: (hardback : acid-free paper)

An Introduction to functional programming through Lambda calculus
Greg Michaelson
Publisher: Addison Wesley, 1989.
ISBN: 0201178125 DDC: 5.131

Categories for types
Roy L. Crole
Publisher: Cambridge ; Cambridge University Press, 1993.
ISBN: 0521457017 DDC: 511.3 LCC: QA169 Edition: (pbk.)

Categories for types
Roy L. Crole
Publisher: Cambridge ; Cambridge University Press, 1993.
ISBN: 0521450926 DDC: 511.3 LCC: QA169

Combinatory reduction systems
J. W Klop,
Publisher: Amsterdam : Mathematisch centrum, 1980.
ISBN: 9061962005 DDC: 511.3 LCC: QA9.5 Edition: (pbk.)

Derivation and computation
Derivation and computation: taking the Curry-Howard correspondence seriously
Harold Simmons
Publisher: Cambridge ; Cambridge University Press, 2000.
ISBN: 0521771730 DDC: 511.3 LCC: QA9.54 Edition: (hb)

Domains and lambda-calculi
Roberto M. Amadio and Pierre-Louis Curien
Publisher: Cambridge, U.K. ; Cambridge University Press, 1998.
ISBN: 0521622778 DDC: 511.3 LCC: QA9.5 Edition: (hardback)

Introduction to combinators and [lambda]-calculus
J. Roger Hindley, Jonathan P. Seldin
Publisher: Cambridge [Cambridgeshire] ; Cambridge University Press, 1986.
ISBN: 0521268966 LCC: QA9.5

Introduction to combinators and [lambda]-calculus
J. Roger Hindley, Jonathan P. Seldin
Publisher: Cambridge [Cambridgeshire] ; Cambridge University Press, 1986.
ISBN: 0521318394 LCC: QA9.5 Edition: (pbk.)

Lambda calculi
Lambda calculi: a guide for computer scientists
Chris Hankin
Publisher: Oxford [England] : Clarendon Press, 1994.
ISBN: 0198538413 DDC: 511.3 LCC: QA9.5 Edition: $45.00

Lambda calculi
Lambda calculi: a guide for computer scientists
Chris Hankin
Publisher: Oxford [England] : Clarendon Press, 1994.
ISBN: 0198538405 DDC: 511.3 LCC: QA9.5 Edition: (pbk.) :$22.50 (U.S.)

Lambda-calculus and combinators
Lambda-calculus and combinators an introduction
J. Roger Hindley, Jonathan P. Seldin,
Publisher: New York : Cambridge University Press, 2008.
ISBN: 0521898854 DDC: 511.35 LCC: QA9.5 Edition: (Cloth)

Lambda-calculus and combinators
Lambda-calculus and combinators an introduction
J. Roger Hindley, Jonathan P. Seldin
Publisher: New York : Cambridge University Press, 2008.
ISBN: 0511414900 DDC: 511.35 LCC: QA9.5 Edition: (electronic bk.)

Lambda-calculus and combinators, an introduction
J. Roger Hindley, Jonathan P. Seldin
Publisher: Cambridge, UK ; Cambridge University Press, c2008.
ISBN: 0511413297 Edition: (ebook : ebrary)

Lambda-calculus, combinators, and functional programming
G. E. Revesz
Publisher: Cambridge : Cambridge University Press, 1988.
ISBN: 0521345898

Lambda-calculus, types and models
J. L. Krivine
Publisher: New York : Ellis Horwood, 1993.
ISBN: 0130624071

Language in action
Language in action: categories, lambdas, and dynamic logic
Johan van Benthem
Publisher: Amsterdam ; North-Holland ; c1991.
ISBN: 0444890009

Language in action
Language in action: categories, lambdas, and dynamic logic
Johan vanBenthem,
Publisher: Amsterdam : North-Holland ; 1995.
ISBN: 0262720248 DDC: 401.43 LCC: P39 Edition: (pbk. : alk. paper)

All Books on this Subject