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...