Shallow Embedding of Type Theory is Morally Correct [chapter]

Ambrus Kaposi, András Kovács, Nicolai Kraus
2019 Lecture Notes in Computer Science  
doi:10.1007/978-3-030-33636-3_12 fatcat:45etyokyhrconpefhajd3j2c34