?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
6
Varieties of Quantitative Algebras and Their Monads:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
12
On Well-Founded and Recursive Coalgebras:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
14