Sökt på: Böcker av Stergios Chatzikyriakidi
totalt 7 träffar
Probabilistic Approaches to Linguistic Theory
A textbook exploring predictive modes of linguistic development and analysis. During the last two decades, computational linguists, in concert with other researchers in AI, have …
Formal Semantics in Modern Type Theories
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 …
Formal Semantics in Modern Type Theories
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 …
Modern Perspectives in Type-Theoretical Semantics
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 …
Formal Semantics in Modern Type Theories
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 …
Modern Perspectives in Type-Theoretical Semantics
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 …
Modern Perspectives in Type-Theoretical Semantics
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 …