Recursive Types in Kleisli Categories (1992)

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