TY  - RPRT
TI  - Initial Semantics for higher-order typed syntax in Coq
AU  - Benedikt Ahrens
AU  - Julianna Zsido
PY  - 2011
UR  - https://arxiv.org/abs/1012.1010
ID  - 1012.1010
ER  -