Algebra seminar - November 7, 1pm, lecture room M5 |
|
We will continue on Thursday, November 7, in M5 at 1pm by the talk
T. Uemura
A General Framework for the Semantics of Type Theory
Abstract: We propose an abstract notion of a type theory to unify the CwF-semantics of various type theories including Martin-Löf type theory, two-level type theory and cubical type theory. For each type theory, we establish a correspondence between theories and CwF-models: every theory generates a syntactic model; every model has an internal language.
|
Last Updated on Wednesday, 06 November 2019 11:37 |