語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Type theory.
概要
作品:
8 作品在 3 項出版品 3 種語言
書目資訊
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:
(書目-語言資料,印刷品)
Extended abstracts fall 2013 = geometrical analysis, type theory, homotopy theory and univalent foundations /
by:
(書目-電子資源)
Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(書目-電子資源)
Categorical logic and type theory
by:
(書目-電子資源)
Type theory and formal proof : = an introduction /
by:
(書目-語言資料,印刷品)
Modern perspectives in type-theoretical semantics
by:
(書目-電子資源)
主題
Montague grammar.
Logic.
Mathematical Logic and Foundations.
Typentheorie.
Computer logic.
Categorial grammar.
Mathematics of Computing.
Homotopy theory.
Semantics.
Applications of Mathematics.
Mathematical Applications in Computer Science.
Type theory.
Mathematics.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Geometry, Algebraic.
Univalent functions.
Computer Science Logic and Foundations of Programming.
Wiskundige logica.
Linguistics.
Computational Linguistics.
Lambda calculus.
Differential Geometry.
Algebraic Topology.
Computer Appl. in Arts and Humanities.
Computer Science.
Semantics (Philosophy)
Categories (Mathematics)
處理中
...
變更密碼
登入