Shallow Embedding of Type Theory is Morally Correct
(2019)
Journal Article
Kaposi, A., Kovács, A., & Kraus, N. (2019). Shallow Embedding of Type Theory is Morally Correct. Lecture Notes in Artificial Intelligence, 11825 LNCS, 329-365. https://doi.org/10.1007/978-3-030-33636-3_12
© 2019, Springer Nature Switzerland AG. There are multiple ways to formalise the metatheory of type theory. For some purposes, it is enough to consider specific models of a type theory, but sometimes it is necessary to refer to the syntax, for exampl... Read More about Shallow Embedding of Type Theory is Morally Correct.