A Logic of Subtyping, extended abstract (1995)

by G Longo, K Milsted, S Soloviev
Venue:In Logic in Computer Science (LICS