Syntactic Metatheory of Higher-Order Subtyping.

Andreas Abel, Dulma Rodriguez

Browse the full CSL paper archive.