Type theory.

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: (書目-電子資源)

Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (書目-電子資源)

Philosophy.

Mathematical Logic and Foundations.

Logic.

Typentheorie.

Mathematical Logic and Formal Languages.

Computer logic.

Logics and Meanings of Programs.

Homotopy theory.

Semantics.

Applications of Mathematics.

Mathematics of Computing.

Mathematical Applications in Computer Science.

Type theory.

Algorithms.

Types, Th�eorie des.

Cat�egories (Math�ematiques)

Geometry, Algebraic.

Univalent functions.

Mathematics.

Computer Science Logic and Foundations of Programming.

Epistemology.

Wiskundige logica.

Linguistics.

Computational Linguistics.

Lambda calculus.

Differential Geometry.

Algebraic Topology.

Computer Appl. in Arts and Humanities.

Computer Science.

History of Philosophy.

Categories (Mathematics)

Semantics (Philosophy)

Reasoning.