Книги автора Stergios Chatzikyriakidis
Stergios Chatzikyriakidis
ужасы, мистика, городское фэнтезиThis book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type stru…
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type stru…
