Return to Article Details Coinductive Graph Representation: the Problem of Embedded Lists Download Download PDF