Lectures on the Curry-Howard isomorphism.

Saved in:
書目詳細資料
Main Authors: Sørensen, Morten Heine (Author), Urzyczyn, Paweł (Author)
格式: 圖書
語言:英语
出版: Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
版:First edition.
叢編:Studies in logic and the foundations of mathematics, vol. 149
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

相似書籍