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: (Language materials, printed)

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

Categorical logic and type theory by: (Electronic resources)

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

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)

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

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)