Recursive Types in Kleisli Categories (1992)

Cached

Download Links

by Alex K. Simpson
Venue:Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75
Citations:7 - 2 self