Journal of Logic and Computation Bibliography Journal of Logic and Computation Bibliography Steffen van Bakel . Principal type schemes for the strict type assignment system.
Normalization results for typeable rewrite systems.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, and Adolfo Piperno. Selected references Paola Giannini and Simona Ronchi Della Rocca. Characterization of typings in polymorphic type discipline. IEEE Computer Society. John C. Mitchell.