Algebraic and coalgebraic perspectives on interaction laws
author
statement of authorship
Tarmo Uustalu, Niels Voorneveld
source
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 186-205
series
Lecture notes in computer science ; 12470
ISSN
0302-9743
ISBN
978-3-030-64436-9
notes
Bibliogr.: 23 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
kvartiil
classifier
category (general)
Reserch Group
Uustalu, T., Voorneveld, N. Algebraic and coalgebraic perspectives on interaction laws // Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings. Cham : Springer, 2020. p. 186-205. (Lecture notes in computer science ; 12470).