Search Results for 'trace final'

trace final published presentations and documents on DocSlides.

Coalgebras in a Kleisli

by liane-varnes

category. generic theory of traces and simulatio...