Marco Gaboardi, Luca Paolini, Mauro Piccolo. Linearity and PCF: a semantic insight!. In Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy, editors, Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011. pages 372-384, ACM, 2011. [doi]
@inproceedings{GaboardiPP11, title = {Linearity and PCF: a semantic insight!}, author = {Marco Gaboardi and Luca Paolini and Mauro Piccolo}, year = {2011}, doi = {10.1145/2034773.2034822}, url = {http://doi.acm.org/10.1145/2034773.2034822}, researchr = {https://researchr.org/publication/GaboardiPP11}, cites = {0}, citedby = {0}, pages = {372-384}, booktitle = {Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011}, editor = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy}, publisher = {ACM}, isbn = {978-1-4503-0865-6}, }