𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Formal Semantics in Modern Type Theories

✍ Scribed by Stergios Chatzikyriakidis; Zhaohui Luo

Publisher
Wiley
Year
2020
Tongue
English
Leaves
240
Series
Logic Linguistics and Computer Science Set 2
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Formal semantics, Type theory

πŸ“œ SIMILAR VOLUMES

Formal Semantics in Modern Type Theories
πŸ“ Formal Semantics in Modern Type Theories
✍ Stergios Chatzikyriakidis, Zhaohui Luo πŸ“‚ Library πŸ“… 2020 πŸ› ISTE / Wiley 🌐 English

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 the traditional settheoretical foundation for lingui

Modern Perspectives in Type-Theoretical
πŸ“ Modern Perspectives in Type-Theoretical Semantics
✍ Stergios Chatzikyriakidis, Zhaohui Luo (eds.) πŸ“‚ Library πŸ“… 2017 πŸ› Springer International Publishing 🌐 English

<p>This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research

Type Theory and Formal Proof: An Introdu
πŸ“ Type Theory and Formal Proof: An Introduction
✍ Professor Rob Nederpelt, Professor Herman Geuvers πŸ“‚ Library πŸ“… 2014 πŸ› Cambridge University Press 🌐 English

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essent

Type Theory and Formal Proof: An Introdu
πŸ“ Type Theory and Formal Proof: An Introduction
✍ Professor Rob Nederpelt, Professor Herman Geuvers πŸ“‚ Library πŸ“… 2014 πŸ› Cambridge University Press 🌐 English

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essent

Semantics of Type Theory: Correctness, C
πŸ“ Semantics of Type Theory: Correctness, Completeness and Independence Results
✍ Thomas Streicher (auth.) πŸ“‚ Library πŸ“… 1991 πŸ› BirkhΓ€user Basel 🌐 English

<p>Typing plays an important role in software development. Types can be considΒ­ ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speciΒ­ fication. By translating a problem specification into a proposi