| Authors |
|
| Supervisors |
|
| Cosupervisors |
|
| Award date |
09-07-2021
|
| ISBN |
|
| Series |
ILLC dissertation series, DS-2021-09
|
| Number of pages |
264
|
| Publisher |
Amsterdam: Institute for Logic, Language and Computation
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
-
Faculty of Science (FNWI)
|
| Abstract |
In this thesis, we study abstract and concrete type theories. We introduce an abstract notion of a type theory to obtain general results in the semantics of type theories, but we also provide a syntactic way of presenting a type theory to allow us a further investigation into a concrete type theory to obtain consistency and independence results.
|
| Document type |
PhD thesis
|
| Language |
English
|
|
Downloads
|
|
|
Permalink to this page
|
