Protocol choice and iteration for the free cornering
autor
Nester, Chad Mitchell
Voorneveld, Niels
vastutusandmed
Chad Nester, Niels Voorneveld
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 137
ilmumisaasta
2024
leheküljed
art. 100942, 30 p
leitav
https://doi.org/10.1016/j.jlamp.2023.100942
märksõna
kategooriateooria
matemaatilised teooriad
võtmesõna
Category theory
Concurrency
Double categories
Computational effects
ISSN
2352-2208
märkused
Bibliogr.: 38 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise