Categorical Models of Polymorphism

Andrea Asperti, Simone Martini. Categorical Models of Polymorphism. Inf. Comput., 99(1):1-79, July 1992.

No reviews for this publication, yet.