Dexter Kozen, Jens Palsberg, Michael Schwartzbach. Efficient Recursive Subtyping. Research Report DAIMI, Aarhus University, No 0, July 1992.
[ Dyntyp ] [ Coinduction ]
D. Kozen
J. Palsberg
M.I. Schwartzbach
@TechReport{kps92b,
Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael},
Title = {Efficient Recursive Subtyping},
Number = {0},
Institution = {DAIMI, Aarhus University},
Month = {July},
Year = {1992}
}
Get EndNote Reference (.ref)