語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Type theory.
概要
作品:
5 作品在 4 項出版品 4 種語言
書目資訊
Treatise on intuitionistic type theory
by:
(書目-電子資源)
Categorical logic and type theory
by:
(書目-電子資源)
Extended abstracts fall 2013geometrical analysis, type theory, homotopy theory and univalent foundations /
by:
(書目-電子資源)
Modern perspectives in type-theoretical semantics
by:
(書目-電子資源)
Immanent reasoning or equality in actiona plaidoyer for the play level /
by:
(書目-電子資源)
主題
Philosophy.
Mathematical Logic and Foundations.
Logic.
Typentheorie.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Homotopy theory.
Semantics.
Type theory.
Algorithms.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Geometry, Algebraic.
Univalent functions.
Mathematics.
Epistemology.
Wiskundige logica.
Linguistics.
Computational Linguistics.
Differential Geometry.
Algebraic Topology.
Computer Appl. in Arts and Humanities.
History of Philosophy.
Categories (Mathematics)
Semantics (Philosophy)
Reasoning.
處理中
...
變更密碼
登入