@inproceedings{munchmaccagnoni-2014-formulae, series={CSL-LICS ’14}, title={Formulae-as-types for an involutive negation}, url={http://dx.doi.org/10.1145/2603088.2603156}, DOI={10.1145/2603088.2603156}, booktitle={Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, publisher={ACM}, author={Munch-Maccagnoni, Guillaume}, year={2014}, month=July, pages={1–10}, collection={CSL-LICS ’14} }