Stergios Chatzikyriakidis
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
электронная книга
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic…