Derivation and computation :
Simmons, Harold.
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons. - Cambridge ; New York : Cambridge University Press, 2000. - xxv, 384 p. ; 24 cm. - Cambridge tracts in theoretical computer science ; 51 .
Includes bibliographical references (p. 375-376) and index.
0521771737
99044953
Proof theory.
Lambda calculus.
Type theory.
Curry-Howard isomorphism.
QA9.54 / .S55 2000
511.3 / SIM
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons. - Cambridge ; New York : Cambridge University Press, 2000. - xxv, 384 p. ; 24 cm. - Cambridge tracts in theoretical computer science ; 51 .
Includes bibliographical references (p. 375-376) and index.
0521771737
99044953
Proof theory.
Lambda calculus.
Type theory.
Curry-Howard isomorphism.
QA9.54 / .S55 2000
511.3 / SIM