Semantics

Idea

Semantics is the interpretation of the syntax of a theory in a model.

Examples

Categorical semantics of dependent type theory

Notably the semantics of type theories is given by categories. For instance

For more on this see at categorical semantics and at relation between type theory and category theory.

category: logic

Revised on November 1, 2014 22:03:52 by Urs Schreiber (141.0.9.61)