@InProceedings{	  gheri.popescu:general,
  author	= {Lorenzo Gheri and Andrei Popescu},
  title		= {A General Theory of Syntax with Bindings},
  booktitle	= {Archive of Formal Proofs},
  year		= 2019
}