Domain theory in realizability toposes

書誌事項

Domain theory in realizability toposes

Wesley Phoa

University of Edinburgh, Department of Computer Science, 1991

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Includes bibliography (p. 205-210)

Author's thesis (Ph.D.)--Trinity College, Cambridge, November 1990. Additions and revisions, July 1991

CST-82-91 (also published as ECS-LFCS-91-171)

詳細情報

  • NII書誌ID(NCID)
    BC16630196
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Edinburgh
  • ページ数/冊数
    216 p.
  • 大きさ
    21 cm
ページトップへ