Жанры
Авторы
Контакты
О сайте
Книжные новинки
Популярные книги
Найти
Главная
Авторы
Stergios Chatzikyriakidis
Formal Semantics in Modern Type Theories
Читать
Читать книгу Formal Semantics in Modern Type Theories - Stergios Chatzikyriakidis - Страница 6
Оглавление
Предыдущая
Следующая
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Оглавление
Купить и скачать книгу
Вернуться на страницу книги Formal Semantics in Modern Type Theories
Оглавление
Страница 1
Страница 2
Страница 3
Страница 4
Страница 5
Страница 6
1
Type Theories and Semantic Studies
1.1. Historical development of type theories
1.2. Foundational semantic languages
1.3. Montague’s model-theoretic semantics
1.3.1. Simple type theory: a formal description
1.3.2. Montague semantics: examples and intensionality
1.4. MTT-semantics: formal semantics in modern type theories
1.4.1. A glance at MTT-semantics
1.4.2. MTTs as foundational semantic languages: historical notes
1.4.3. Merits of MTT-semantics
{buyButton}
Подняться наверх
