Книги автора Stergios Chatzikyriakidis

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type stru…