@misc{indiciae1aee0925852e,
  title = {Extended Initiality for Typed Abstract Syntax},
  author = {Benedikt Ahrens},
  year = {2012},
  doi = {10.2168/lmcs-8(2:1)2012},
  url = {https://arxiv.org/abs/1107.4751},
  note = {Source identifier: 1107.4751}
}