On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

• Autores: JAN RUTTEN , DANIELE TURI
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 8, Nº 5, 1998, págs. 481-540
• Idioma: inglés
• DOI: 10.1017/s0960129598002588
• Texto completo no disponible (Saber más ...)