Derivation and computation : taking the Curry-Howard correspondence seriously

書誌事項

Derivation and computation : taking the Curry-Howard correspondence seriously

Harold Simmons

(Cambridge tracts in theoretical computer science, 51)

Cambridge University Press, 2000

大学図書館所蔵 件 / 34

この図書・雑誌をさがす

注記

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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ