A Coalgebraic Foundation for Coinductive Union Types

Authors :: Esparza, J.
Fraigniaud, P.
Husfeldt, T.
Koutsoupias, E.
Bonsangue, M.
Rot, J.C.
Ancona, D.
Boer, F. de
Rutten, J.
Esparza, J.
Fraigniaud, P.
Husfeldt, T.
Koutsoupias, E.
Bonsangue, M.
Rot, J.C.
Ancona, D.
Boer, F. de
Rutten, J.
Source :: Esparza, J.; Fraigniaud, P.; Husfeldt, T. (ed.), Automata, Languages, and Programming; 62; 73; 9783662439500; Lecture Notes in Computer Science ; 8573; Esparza, J.; Fraigniaud, P.; Husfeldt, T. (ed.), Automata, Languages, and Programming~~62~73~~9783662439500~~~~Lecture Notes in Computer Science ; 8573~
Publication Year :: 2014
Abstract: Item does not contain fulltext

Database :: OAIster
Journal :: Esparza, J.; Fraigniaud, P.; Husfeldt, T. (ed.), Automata, Languages, and Programming; 62; 73; 9783662439500; Lecture Notes in Computer Science ; 8573; Esparza, J.; Fraigniaud, P.; Husfeldt, T. (ed.), Automata, Languages, and Programming~~62~73~~9783662439500~~~~Lecture Notes in Computer Science ; 8573~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1284116926
Document Type :: Electronic Resource