Coalgebras and Monads in the Semantics of Java. Theoret (0)

by B Jacobs, E Poll
Venue:Comput. Sci