TY  - RPRT
TI  - Hereditary Substitution for the λΔ-Calculus
AU  - Harley Eades
AU  - Aaron Stump
PY  - 2013
DO  - 10.4204/eptcs.127.4
UR  - https://arxiv.org/abs/1309.1256
ID  - 1309.1256
ER  -