Celia Picard, Ralph Matthes
Coinductive Graph Representation: the Problem of Embedded Lists
GCM, 2011.
@article{GCM-2010-PicardM11, author = "Celia Picard and Ralph Matthes", ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/649", journal = "{Electronic Communications of the EASST}", title = "{Coinductive Graph Representation: the Problem of Embedded Lists}", volume = 39, year = 2011, }