TY  - BOOK
AU  - Stergios Chatzikyriakidis
TI  - Formal Semantics in Modern Type Theories
SN  - 9781119489252
PB  - Wiley
UR  - https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
ER  -