Archiv aktualit
MAtematický Seznamovací Kurz prO maTuranty (MASKOT) PDF Tisk

Informace a přihláška zde.


Aktualizováno Středa, 02 Říjen 2019 14:41
 
Seminář z algebry - 7.11.2019 PDF Tisk

Další seminář z algebry se koná 7.11.2019 od 13.00 v posluchárně M5.

T. Uemura

A General Framework for the Semantics of Type Theory

Abstrakt:
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.

Aktualizováno Středa, 06 Listopad 2019 11:38
 
«ZačátekPředchozí12345678910DalšíKonec»