full record print

Protocol choice and iteration for the free cornering

author
statement of authorship
Chad Nester, Niels Voorneveld
source
publisher
journal volume number month
vol. 137
year of publication
pages
art. 100942, 30 p
url
ISSN
2352-2208
notes
Bibliogr.: 38 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Category theory
Concurrency
Double categories
Computational effects
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