Derivation and computation : taking the Curry-Howard correspondence seriously

Bibliographic Information

Derivation and computation : taking the Curry-Howard correspondence seriously

Harold Simmons

(Cambridge tracts in theoretical computer science, 51)

Cambridge University Press, 2000

Search this Book/Journal
Note

Includes bibliographical references (p. 375-376) and index

Related Books: 1-1 of 1
Details
Page Top