Luddy School of Informatics, Computing, and Engineering
Technical Report TR444:
On the Foundations of Corecursion
Lawrence S. Moss and Norman Danner
(Nov 1995), 21 pages pages
Abstract:
The abstact is not available. Please see the full paper.
Available as:
PDF
(297 KBytes)
