Search Results for 'coinduction'

coinduction published presentations and documents on DocSlides.

Coinduction

by alexa-scheidler

in a. language and verifier. K. Rustan M. Leino....

Coalgebras in a Kleisli

by liane-varnes

category. generic theory of traces and simulatio...