@misc{indiciae22a3690129ce,
  title = {Transporting Functions across Ornaments},
  author = {Dagand Pierre-Evariste and McBride Conor},
  year = {2012},
  doi = {10.1017/s0956796814000069},
  url = {https://arxiv.org/abs/1201.4801},
  note = {Source identifier: 1201.4801}
}