語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Type theory.
概要
作品:
2 作品在 1 項出版品 1 種語言
書目資訊
Categorical logic and type theory[electronic resource] /
by:
(書目-語言資料,印刷品)
Extended abstracts fall 2013[electronic resource] :geometrical analysis, type theory, homotopy theory and univalent foundations /
by:
(書目-語言資料,印刷品)
主題
Typentheorie.
Type theory.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Wiskundige logica.
Categories (Mathematics)
Homotopy theory.
Geometry, Algebraic.
Type theory.
Univalent functions.
Mathematics.
Differential Geometry.
Algebraic Topology.
處理中
...
變更密碼
登入