@misc{indiciae7fa073aa6226,
  title = {Typed lambda-terms in categorical attributed graph transformation},
  author = {Bertrand Boisvert and Louis Féraud and Sergei Soloviev},
  year = {2011},
  doi = {10.4204/eptcs.56.3},
  url = {https://arxiv.org/abs/1107.0065},
  note = {Source identifier: 1107.0065}
}