On the relations between monadic semantics (2007)

by A Filinski
Venue:Theoretical Computer Science