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