Type theory.

Treatise on intuitionistic type theory by: (Electronic resources)

Categorical logic and type theory by: (Electronic resources)

Extended abstracts fall 2013geometrical analysis, type theory, homotopy theory and univalent foundations / by: (Electronic resources)

Modern perspectives in type-theoretical semantics by: (Electronic resources)

Immanent reasoning or equality in actiona plaidoyer for the play level / by: (Electronic resources)

Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (Electronic resources)

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.