TY  - RPRT
TI  - A Rewriting View of Simple Typing
AU  - Aaron Stump
AU  - Garrin Kimmell
AU  - Hans Zantema
AU  - Ruba El Haj Omar
PY  - 2013
DO  - 10.2168/lmcs-9(1:4)2013
UR  - https://arxiv.org/abs/1211.0865
ID  - 1211.0865
ER  -