A Logic of Subtyping (Extended Abstract)

Giuseppe Longo, Kathleen Milsted, Sergei Soloviev

Browse the full LICS paper archive.