Finitely stratified polymorphism (1991)

by D Leivant
Venue:Information and Computation