@misc{indiciae3acc66a43677,
  title = {Signatures and models for syntax and operational semantics in the presence of variable binding},
  author = {Ambroise Lafont},
  year = {2019},
  url = {https://arxiv.org/abs/1910.09162},
  note = {Source identifier: 1910.09162}
}