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)

Modern perspectives in type-theoretical semantics 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)

Montague grammar.

Logic.

Mathematical Logic and Foundations.

Typentheorie.

Categorial grammar.

Mathematics of Computing.

Homotopy theory.

Semantics.

Type theory.

Mathematics.

Types, Th�eorie des.

Cat�egories (Math�ematiques)

Geometry, Algebraic.

Univalent functions.

Wiskundige logica.

Linguistics.

Computational Linguistics.

Differential Geometry.

Algebraic Topology.

Computer Appl. in Arts and Humanities.

Semantics (Philosophy)

Categories (Mathematics)