Derivation and computation : taking the Curry-Howard correspondence seriously
Author(s)
Bibliographic Information
Derivation and computation : taking the Curry-Howard correspondence seriously
(Cambridge tracts in theoretical computer science, 51)
Cambridge University Press, 2000
Available at 34 libraries
Note
Includes bibliographical references (p. 375-376) and index