täiskirje prindi

Protocol choice and iteration for the free cornering

autor
vastutusandmed
Chad Nester, Niels Voorneveld
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 137
ilmumisaasta
leheküljed
art. 100942, 30 p
leitav
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
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