Protocol choice and iteration for the free cornering

statement of authorship
Chad Nester, Niels Voorneveld
publisher
journal volume number month
vol. 137
year of publication
pages
art. 100942, 30 p
keyword
Double categories
Computational effects
ISSN
2352-2208
notes
Bibliogr.: 38 ref
scientific publication
teaduspublikatsioon
classifier
1.1
TTÜ department
language
inglise
Nester, C., Voorneveld, N. Protocol choice and iteration for the free cornering // Journal of logical and algebraic methods in programming (2024) vol. 137, art. 100942, 30 p. https://doi.org/10.1016/j.jlamp.2023.100942