語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Type theory.
概要
作品:
7 作品在 2 項出版品 2 種語言
書目資訊
Type logical grammar : = categorial logic of signs /
by:
(書目-語言資料,印刷品)
A modern perspective on type theory = from its origins until today /
by:
(書目-語言資料,印刷品)
A Modern Perspective on Type Theory = From its Origins until Today /
by:
(書目-語言資料,印刷品)
Type theory and formal proof : = an introduction /
by:
(書目-語言資料,印刷品)
Extended abstracts fall 2013 = geometrical analysis, type theory, homotopy theory and univalent foundations /
by:
(書目-電子資源)
Modern perspectives in type-theoretical semantics
by:
(書目-電子資源)
Categorical logic and type theory
by:
(書目-電子資源)
主題
Montague grammar.
Logic.
Mathematical Logic and Foundations.
Typentheorie.
Categorial grammar.
Mathematics of Computing.
Homotopy theory.
Semantics.
Type theory.
Mathematics.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Geometry, Algebraic.
Univalent functions.
Wiskundige logica.
Linguistics.
Computational Linguistics.
Differential Geometry.
Algebraic Topology.
Computer Appl. in Arts and Humanities.
Semantics (Philosophy)
Categories (Mathematics)
處理中
...
變更密碼
登入