James Laird. Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism. Logical Methods in Computer Science, 17(4), 2021. [doi]
@article{Laird21-1, title = {Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism}, author = {James Laird}, year = {2021}, doi = {10.46298/lmcs-17(4:11)2021}, url = {https://doi.org/10.46298/lmcs-17(4:11)2021}, researchr = {https://researchr.org/publication/Laird21-1}, cites = {0}, citedby = {0}, journal = {Logical Methods in Computer Science}, volume = {17}, number = {4}, }