Derivation and computation : taking the Curry-Howard correspondence seriously
著者
書誌事項
Derivation and computation : taking the Curry-Howard correspondence seriously
(Cambridge tracts in theoretical computer science, 51)
Cambridge University Press, 2000
大学図書館所蔵 件 / 全34件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 375-376) and index