Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis

Formal Semantics in Modern Type Theories - Wiley 2020

9781119489252

EBOOK
Copyright @ Delhi University Library System