"Dexter"@fr . . "Kozen"@fr . "Bart Jacobs"@fr . "Jan Rutten"@fr . . "2018-06-29"^^ . . "Cambridge University Press"@fr . . "Bulletin EATCS"@fr . . . . . "2016"^^ . . "Cambridge Tracts in Theoretical Computer Science"@fr . . "7"^^ . . "5553"^^ . "Introduction to Bisimulation and Coinduction"@fr . "31"^^ . . . "\u4F59\u4EE3\u6570"@ja . . "27"^^ . "Towards Mathematics of States and Observation"@fr . . "en"@fr . "Coalgebra"@en . "978"^^ . "494"^^ . "En math\u00E9matiques, la notion de coalg\u00E8bre est une notion duale de celle d'alg\u00E8bre sur un anneau ou sur un corps. Informellement, une alg\u00E8bre A est un espace vectoriel (ou un -module) qui est muni en plus d'une multiplication, c'est-\u00E0-dire d'une application qui compose deux \u00E9l\u00E9ments de A pour en construire un troisi\u00E8me. Une coalg\u00E8bre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-\u00E0-dire-d'une application qui prend un \u00E9l\u00E9ment de C et qui en retourne deux."@fr . . . . . "960"^^ . "October 2016"@fr . "A Tutorial on Algebras and Induction"@fr . . . "\u9918\u4EE3\u6578"@zh . . "En math\u00E9matiques, la notion de coalg\u00E8bre est une notion duale de celle d'alg\u00E8bre sur un anneau ou sur un corps. Informellement, une alg\u00E8bre A est un espace vectoriel (ou un -module) qui est muni en plus d'une multiplication, c'est-\u00E0-dire d'une application qui compose deux \u00E9l\u00E9ments de A pour en construire un troisi\u00E8me. Une coalg\u00E8bre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-\u00E0-dire-d'une application qui prend un \u00E9l\u00E9ment de C et qui en retourne deux."@fr . . "ACM Trans. Program. Lang. Syst"@fr . "Eduardo Gim\u00E9nez et Pierre Cast\u00E9ran"@fr . "Advanced Topics in Bisimulation and Coinduction"@fr . . "Alexandra"@fr . . "Practical coinduction"@fr . . "\u041A\u043E\u0430\u043B\u0433\u0435\u0431\u0440\u0430"@ru . "222"^^ . . . . "\"A Tutorial on [Co-]Inductive Types in Coq\""@fr . "Co\u00E1lgebra"@es . "62"^^ . . "2009761"^^ . . "1132"^^ . "Introduction to Coalgebra"@fr . "Koalgebra"@de . "Mathematical Structures in Computer Science"@fr . . "Coalg\u00E8bre"@fr . . . . "2007"^^ . "167048939"^^ . "juin"@fr . . . "Cambridge"@fr . "2015"^^ . . "2012"^^ . . "2011"^^ . . "2009"^^ . "A Survey of coinduction in Coq"@fr . "15"^^ . . "Pierre-Marie P\u00E9drot"@fr . . . . "18"^^ . . "Davide Sangiorgi"@fr . "Co\u00E1lgebra"@pt . "1997"^^ . "On the origins of bisimulation and coinduction"@fr . . "Silva"@fr .