Author： Clairambault Pierre
Publisher： Edp Sciences
E-ISSN： 1290-385x|47|1|25-68
ISSN： 0988-3754
Source： RAIRO - Theoretical Informatics and Applications, Vol.47, Iss.1, 2013-02, pp. : 25-68
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Fixpoints, games and the difference hierarchy
RAIRO - Theoretical Informatics and Applications, Vol. 37, Iss. 1, 2010-03 ,pp. :
Access to resources
Recommend
Recursive coalgebras of finitary functors
By Adámek Jiří Lücke Dominik Milius Stefan
RAIRO - Theoretical Informatics and Applications, Vol. 41, Iss. 4, 2007-08 ,pp. :
A Coalgebraic Semantics of Subtyping
By Poll Erik
RAIRO - Theoretical Informatics and Applications, Vol. 35, Iss. 1, 2010-03 ,pp. :