Protocol choice and iteration for the free cornering
author
Nester, Chad Mitchell
Voorneveld, Niels
statement of authorship
Chad Nester, Niels Voorneveld
source
Journal of logical and algebraic methods in programming
publisher
Elsevier
journal volume number month
vol. 137
year of publication
2024
pages
art. 100942, 30 p
url
https://doi.org/10.1016/j.jlamp.2023.100942
subject term
kategooriateooria
matemaatilised teooriad
keyword
Category theory
Concurrency
Double categories
Computational effects
ISSN
2352-2208
notes
Bibliogr.: 38 ref
scientific publication
teaduspublikatsioon
classifier
1.1
TTÜ department
tarkvarateaduse instituut
language
inglise