## Raphaëlle Crubillé, Ugo Dal Lago

*Metric Reasoning about ?-Terms: The Affine Case*

LICS, 2015.

@inproceedings{LICS-2015-CrubilleL, author = "Raphaëlle Crubillé and Ugo Dal Lago", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.64", isbn = "978-1-4799-8875-4", pages = "633--644", publisher = "{IEEE}", title = "{Metric Reasoning about ?-Terms: The Affine Case}", year = 2015, }