Recursive types in Kleisli categories (1992)

by A K Simpson
Venue:Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75