Subject Summary
Subject Books
Subjects Search
Recently Added
Lambda calculus
Referred from 31 books
Books on this subject:
Here are some of the most recently loaded books on this subject, you can also see
all 31 matching books
on a separate page.
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)
Models of the lambda calculus
C. P. J. Koymans
Publisher: Amsterdam, Netherlands :
Centrum voor Wiskunde en Informatica
, c1984.
ISBN: 9061962757 Edition: (pbk.)
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)
Subject structure:
Below you can see components of the subject along with their types and similar subjects. Click on a subject component to see other subjects that include it.
"Lambda calculus"
-- Topical Term, 650/a
Similar Subjects:
Lambda calculus -- Congresses
(6)
Lambda calculus -- Bibliography
(1)
Categories this subject is listed in:
•
Science > Mathematics > Calculus
Copyright © 2002-2009 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
