Monads and algebras in the semantics of partial data types, Theoret (0)

by P S Mulry
Venue:Comput. Sci