bannerbanner

Stergios Chatzikyriakidis

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

Formal Semantics in Modern Type Theories
0
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 constructions. This offers a serious alternative to th…
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 constructions. This offers a serious alternative to th…