Irrelevance in type theory with a heterogeneous equality judgement (2011)

by Andreas Abel
Venue:In Foundations of Software Science and Computational Structures, 14th International Conference, FOSSACS 2011