A coinductive monad for Prop-bounded recursion (2007)

by Adam Megacz
Venue:In PLPV’07