Programming in Martin-Löf's type theory : an introduction

著者

• Nordström, Bengt
• Petersson, Kent
• Smith, Jan M

書誌事項

Programming in Martin-Löf's type theory : an introduction

Bengt Nordström, Kent Petersson, Jan M. Smith

[Produced by Amazon], 1990

• : pbk

注記

Includes bibliographical references (p. 185-192) and index

Reprint. Originally published: Oxford University Press, 1990

詳細情報

• NII書誌ID(NCID): BC10832391
• ISBN:
  • 9798490129189
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Japan]
• ページ数/冊数: x, 201 p.
• 大きさ: 30 cm