Stergios Chatzikyriakidis is Associate Professor in Computational
Linguistics and Associate Director of the Center for Linguistic Theory and
Studies in Probability at the University of Gothenburg, Sweden. He is a
computational semanticist with an interest in formal semantics and
formal syntax.
Zhaohui Luo is Professor of Computer Science at Royal Holloway,
University of London, UK. He has published extensively on type theory,
including a research monograph published by Oxford University Press.
His research has focused on MTT-semantics over the last decade.
4 Електронні книги від Zhaohui Luo
Stergios Chatzikyriakidis & Zhaohui Luo: 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 published book on the issue …
PDF
Англійська
€106.99
Stergios Chatzikyriakidis & Zhaohui Luo: 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 adequate semantic con …
PDF
Англійська
DRM
€139.99
Stergios Chatzikyriakidis & Zhaohui Luo: 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 adequate semantic con …
EPUB
Англійська
DRM
€139.99