Derivation and computation
Subtitle: taking the Curry-Howard correspondence seriously
By: Harold Simmons.
Series: Cambridge tracts in theoretical computer science ;; 51
Publisher: Cambridge University Press
Published: 2000
Place of publication: Cambridge; New York
Language: eng
Number of pages: 384
Subjects: Proof theory.; Lambda calculus.; Type theory.; Curry-Howard isomorphism.
Notes: Includes bibliographical references (p. 375-376) and index.