@inproceedings{FiorePlotkinTuri_LICS_1999,
    title = {Abstract syntax and variable binding},
    url = {http://dx.doi.org/10.1109/lics.1999.782615},
    doi = {10.1109/lics.1999.782615},
    booktitle = {Proc.~of~LICS'99},
    publisher = {IEEE Comput. Soc},
    author = {Fiore, M. and Plotkin, G. and Turi, D.},
    pages = {193--202},
    date-added = {2025-12-4 15:19:7 +0100}
}

@inproceedings{FiorePlotkinTuri_LICS_1999, title = {Abstract syntax and variable binding}, url = {http://dx.doi.org/10.1109/lics.1999.782615}, doi = {10.1109/lics.1999.782615}, booktitle = {Proc.~of~LICS'99}, publisher = {IEEE Comput. Soc}, author = {Fiore, M. and Plotkin, G. and Turi, D.}, pages = {193--202}, date-added = {2025-12-4 15:19:7 +0100} }