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

Document Versions

Recursive Types in Kleisli Categories –Alex K. Simpson — 1992 — Preprint 2004. MFPS Tutorial, April 2007 Classical Domain Theory 75/75