TY  - RPRT
TI  - Extended Initiality for Typed Abstract Syntax
AU  - Benedikt Ahrens
PY  - 2012
DO  - 10.2168/lmcs-8(2:1)2012
UR  - https://arxiv.org/abs/1107.4751
ID  - 1107.4751
ER  -