Recursive Domains, Indexed Categories and Polymorphism (1986)

by P Taylor
Venue:University of Cambridge