検索結果 1 - 3 結果 / 3 検索語 'Barendregt, H. P. (Hendrik Pieter)' 結果の絞り込み
  1. 1
    著者: Barendregt, H. P. (Hendrik Pieter)
    出版事項 1984
    図書
    お気に入りに追加
    保存先:
    The Lambda calculus : its syntax and semantics /
  2. 2
    著者: Barendregt, H. P. (Hendrik Pieter)
    出版事項 1981
    図書
    お気に入りに追加
    保存先:
    The Lambda calculus : its syntax and semantics /
  3. 3
    出版事項 1994
    その他の著者 “...Barendregt, H. P. (Hendrik Pieter)...”
    図書
    お気に入りに追加
    保存先:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

検索ツール: