Recursive domains, indexed category theory and polymorphism (1986)

by P Taylor