%0 Journal Article %1 journals/afp/GheriP19 %A Gheri, Lorenzo %A Popescu, Andrei %D 2019 %J Arch. Formal Proofs %K dblp %T A General Theory of Syntax with Bindings. %U http://dblp.uni-trier.de/db/journals/afp/afp2019.html#GheriP19 %V 2019

@article{journals/afp/GheriP19, added-at = {2020-05-25T00:00:00.000+0200}, author = {Gheri, Lorenzo and Popescu, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/274771560a1383426b466b82235bdda40/dblp}, ee = {https://www.isa-afp.org/entries/Binding_Syntax_Theory.html}, interhash = {df63b045ae408c9b4925290914015935}, intrahash = {74771560a1383426b466b82235bdda40}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:26.000+0200}, title = {A General Theory of Syntax with Bindings.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2019.html#GheriP19}, volume = 2019, year = 2019 }