Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

Research output: Contribution to journalJournal articleResearchpeer-review

Standard

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. / Kaarsgaard, Robin.

In: Electronic Notes in Theoretical Computer Science, Vol. 347, 01.2019, p. 179-202.

Research output: Contribution to journalJournal articleResearchpeer-review

Harvard

Kaarsgaard, R 2019, 'Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories', Electronic Notes in Theoretical Computer Science, vol. 347, pp. 179-202. https://doi.org/10.1016/j.entcs.2019.09.010

APA

Kaarsgaard, R. (2019). Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. Electronic Notes in Theoretical Computer Science, 347, 179-202. https://doi.org/10.1016/j.entcs.2019.09.010

Vancouver

Kaarsgaard R. Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. Electronic Notes in Theoretical Computer Science. 2019 Jan;347:179-202. https://doi.org/10.1016/j.entcs.2019.09.010

Author

Kaarsgaard, Robin. / Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. In: Electronic Notes in Theoretical Computer Science. 2019 ; Vol. 347. pp. 179-202.

Bibtex

@article{7b4354e367054ae6b1add48de0edbc48,
title = "Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories",
author = "Robin Kaarsgaard",
year = "2019",
month = jan,
doi = "10.1016/j.entcs.2019.09.010",
language = "English",
volume = "347",
pages = "179--202",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

AU - Kaarsgaard, Robin

PY - 2019/1

Y1 - 2019/1

U2 - 10.1016/j.entcs.2019.09.010

DO - 10.1016/j.entcs.2019.09.010

M3 - Journal article

VL - 347

SP - 179

EP - 202

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -

ID: 239015189