Parametric corecursion,” Theor (2001)

by L S Moss
Venue:Comput. Sci