Поиск:
Войти
Книги автора: Stergios Chatzikyriakidis
Сортировка
- сначала новые
- сначала новые
- по рейтингу
- по просмотрам
- по названию
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type…
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type…
Популярные книги
