Subject Summary
Subject Books
Subjects Search
Recently Added
Lambda calculus
Referred from 31 books
All Books on this Subject
<<
>>
1
2
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)
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: 0387281835 Edition: (e-ISBN)
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, an introduction
J. Roger Hindley,
Jonathan P. Seldin
,
Publisher: Cambridge, UK ;
Cambridge University Press
, 2008.
ISBN: 0521898854 DDC: 511.35 LCC: QA9.5 Edition: (hardback)
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)
Lectures on the Curry-Howard isomorphism
Morten Heine Sørensen
,
Pawel Urzyczyn
,
Publisher: Boston, MA :
Elsevier
, 2007.
ISBN: 0444520775 DDC: 511.326 LCC: QA9.54
Models of the lambda calculus
C. P. J. Koymans
Publisher: Amsterdam, Netherlands :
Centrum voor Wiskunde en Informatica
, c1984.
ISBN: 9061962757 Edition: (pbk.)
Proofs and types
Jean-Yves Girard
; translated and with appendices by
Paul Taylor
[and]
Yves Lafont
Publisher: Cambridge :
Cambridge University Press
, 1989.
ISBN: 0521371813 DDC: 5.131 LCC: QA76.6 Edition: £17.50
<<
>>
1
2
Copyright © 2002-2009 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
