Parametric corecursion. preprint, available at http://math.indiana.edu/home/moss/parametric.ps (2000)

by Lawrence Moss