@inproceedings{fiore_etal_nd, series={LICS-99}, title={Abstract syntax and variable binding}, url={http://dx.doi.org/10.1109/LICS.1999.782615}, DOI={10.1109/lics.1999.782615}, booktitle={Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)}, publisher={IEEE Comput. Soc}, author={Fiore, M. and Plotkin, G. and Turi, D.}, pages={193–202}, collection={LICS-99} }