Recursive types in kleisli categories. available via FTP from theory. doc.ic.ac.uk (1992)

by A K Simpson