TY  - RPRT
TI  - Algebraic Foundations of Proof Refinement
AU  - Jonathan Sterling
AU  - Robert Harper
PY  - 2017
UR  - https://arxiv.org/abs/1703.05215
ID  - 1703.05215
ER  -