Shallow Embedding of Type Theory is Morally Correct
(2019)
Journal Article
© 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.