1998
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
Publication
Publication
Mathematical Structures in Computer Science , Volume 8 - Issue 5 p. 481- 540
Additional Metadata | |
---|---|
, | |
Cambridge U.P. | |
Mathematical Structures in Computer Science | |
Organisation | Computer Security |
Turi, D., & Rutten, J. (1998). On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Mathematical Structures in Computer Science, 8(5), 481–540. |