Decidability of conversion for type theory in type theory

Andreas Abel, Joakim Öhman, Andrea Vezzosi. Decidability of conversion for type theory in type theory. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Abstract

Abstract is missing.