Все книги автора Stergios Chatzikyriakidis
Найдено 1 книг
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type...