TY  - RPRT
TI  - Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study
AU  - Cyprien Mangin
AU  - Matthieu Sozeau
PY  - 2015
DO  - 10.4204/eptcs.185.5
UR  - https://arxiv.org/abs/1508.00455
ID  - 1508.00455
ER  -