Type theory.

Type logical grammar : = categorial logic of signs / by: (Language materials, printed)

A modern perspective on type theory = from its origins until today / by: (Electronic resources)

A Modern Perspective on Type Theory = From its Origins until Today / by: (Language materials, printed)

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

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

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

Categorical logic and type theory by: (Electronic resources)

Type theory and formal proof : = an introduction / by: (Language materials, printed)

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)