Wand, Mitchell; O’Keefe, Patrick; Palsberg, Jens Strong normalization with non-structural subtyping. (English) Zbl 0840.03006 Math. Struct. Comput. Sci. 5, No. 3, 419-429 (1995). Reviewer: M.Duží (Praha) MSC: 03B40 03B15 PDFBibTeX XMLCite \textit{M. Wand} et al., Math. Struct. Comput. Sci. 5, No. 3, 419--429 (1995; Zbl 0840.03006) Full Text: DOI
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. Efficient recursive subtyping. (English) Zbl 0840.03007 Math. Struct. Comput. Sci. 5, No. 1, 113-125 (1995). MSC: 03B40 03B25 03D05 PDFBibTeX XMLCite \textit{D. Kozen} et al., Math. Struct. Comput. Sci. 5, No. 1, 113--125 (1995; Zbl 0840.03007) Full Text: DOI