書誌事項

Lambda calculus with types

Henk Barendregt, Wil Dekkers, Richard Statman

(Perspectives in logic)

Association for Symbolic Logic , Cambridge University Press, 2013

この図書・雑誌をさがす
注記

Includes bibliographical references (p. 791-813) and index

"Association for Symbolic Logic."

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BB12819706
  • ISBN
    • 9780521766142
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York,Cambridge
  • ページ数/冊数
    xxii, 833 p.
  • 大きさ
    26 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ