Читать книгу Formal Semantics in Modern Type Theories - Stergios Chatzikyriakidis - Страница 13

In this section, some simple examples in formal semantics in modern type theories (MTT-semantics) are sketched for illustrations. Then, we shall describe the historical developments and some of the major merits for MTTs to be employed as foundational semantic languages.