A logic of subtyping (extended abstract). Pages 292–299 of: |lics95 (1995)

by Giuseppe Longo, Kathleen Milsted, Sergei Soloviev