TY  - RPRT
TI  - A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic
AU  - Robin Adams
AU  - Marc Bezem
AU  - Thierry Coquand
PY  - 2017
UR  - https://arxiv.org/abs/1610.00026
ID  - 1610.00026
ER  -