Recursive Types in Kleisli Categories, Unpublished note (1992)

by A K Simpson