Published in: LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Shahin Amini and Thomas Erhard. On Classical PCF, Linear Logic and the MIX Rule. In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, pp. 582-596, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{amini_et_al:LIPIcs.CSL.2015.582, author = {Amini, Shahin and Erhard, Thomas}, title = {{On Classical PCF, Linear Logic and the MIX Rule}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {582--596}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-90-3}, ISSN = {1868-8969}, year = {2015}, volume = {41}, editor = {Kreutzer, Stephan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.582}, URN = {urn:nbn:de:0030-drops-54402}, doi = {10.4230/LIPIcs.CSL.2015.582}, annote = {Keywords: lambda-calculus, linear logic, classical logic, denotational semantics} }
Feedback for Dagstuhl Publishing