TY  - RPRT
TI  - Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
AU  - Andreas Abel
AU  - Thierry Coquand
PY  - 2020
DO  - 10.23638/lmcs-16(2:14)2020
UR  - https://arxiv.org/abs/1911.08174
ID  - 1911.08174
ER  -