Recursive types in Kleisli categories. Unpublished manuscript (1992)

by A K Simpson