Derivation and computation : taking the Curry-Howard correspondence seriously
Simmons, Harold
Derivation and computation : taking the Curry-Howard correspondence seriously
Harold Simmons
- Cambridge Cambridge University Press 2000
- xxv, 384 p. ; 24 cm
Includes bibliographical references (p. 375-376) and index
521771730
99044953
Curry-Howard isomorphism Lambda calculus Proof theory Type theory