Paper: Metric Reasoning about ?-Terms: The Affine Case (at LICS 2015)
Authors: Raphaëlle Crubillé Ugo Dal Lago
Abstract
No Abstract Available
BibTeX
@InProceedings{CrubillDalLago-MetricReasoningabou, author = {Raphaëlle Crubillé and Ugo Dal Lago}, title = {Metric Reasoning about ?-Terms: The Affine Case}, booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)}, year = {2015}, month = {July}, pages = {633--644}, location = {Kyoto, Japan}, publisher = {IEEE Computer Society Press} }