Companies Home Search Profile
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
Download pdf
Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

Category

0 View
'
ISBN-10
ISBN-13
9781786301284
Publisher
Wiley-ISTE
Price
132
File Type
PDF
Page No.

About the Author

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. --This text refers to the hardcover edition.

Similar Books

Other Authors' Books

Other Publishing Books

User Reviews
Rating
0
0
0
0
0
average 0
Total votes0