TY - RPRT TI - Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories AU - Robin Kaarsgaard PY - 2019 DO - 10.1016/j.entcs.2019.09.010 UR - https://arxiv.org/abs/1905.09181 ID - 1905.09181 ER -