Titolo:
Comparing recursive and corecursive definitions of fixed points

Autore:
Pietro Di Gianantonio

In this talk we propose a general approach for proving the correctness
of a broad class of recursive definition.  This approach unifies the
ones based on well-founded order to the ones based on complete metrics
and contractive functions, thus allowing for mixed
recursive/corecursive definitions.