A universal embedding for the higher order structure of computational effects (0)

by A J Power
Venue:Proc. of TLCA 2003, Lecture Notes in Computer Science