Decidable Bounded Quantification.

Giuseppe Castagna, Benjamin C. Pierce

Browse the full POPL paper archive.