Robin Kaarsgaard. Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. In Barbara König 0001, editor, Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Volume 347 of Electronic Notes in Theoretical Computer Science, pages 179-202, Elsevier, 2019. [doi]
@inproceedings{journals-entcs-Kaarsgaard19,
title = {Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories},
author = {Robin Kaarsgaard},
year = {2019},
doi = {10.1016/j.entcs.2019.09.010},
url = {https://doi.org/10.1016/j.entcs.2019.09.010},
researchr = {https://researchr.org/publication/journals-entcs-Kaarsgaard19},
cites = {0},
citedby = {0},
pages = {179-202},
booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019},
editor = {Barbara König 0001},
volume = {347},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}