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. |
|