Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons. taking the Curry-Howard correspondence seriously /
Saved in:
Main Author: | Simmons, Harold |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
c2000
|
Series: | Cambridge tracts in theoretical computer science ;
51 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The lambda calculus : its syntax and semantics / Henk P. Barendregt.
by: Barendregt, H. P. (Hendrik Pieter)
Published: (2012) -
An introduction to functional programming through lambda calculus Greg Michaelson.
by: Michaelson, Greg
Published: (2013) -
An introduction to functional programming through Lambda calculus / Greg Michaelson.
by: Michaelson, Greg, 1953-
Published: (2011) -
Tableau systems for first order number theory and certain higher order theories Sue Toledo.
by: Toledo, Sue Ann, 1940-
Published: (1975) -
Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.
by: Negri, Sara, 1967-
Published: (2001)