Simmons, Harold
Derivation and computation : taking the Curry-Howard correspondence seriously Harold Simmons - Cambridge: Cambridge University Press, 2000. - xxv, 384p.
Includes index and bibliography
Eng
0521771730
Type theory
Proof theory
Lambda calculus
511.321 / SID
Derivation and computation : taking the Curry-Howard correspondence seriously Harold Simmons - Cambridge: Cambridge University Press, 2000. - xxv, 384p.
Includes index and bibliography
Eng
0521771730
Type theory
Proof theory
Lambda calculus
511.321 / SID