Recursive Types in Kleisli Categories (1992)
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 |
