A logic of subtyping (1995)

by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev
Venue:In Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science