A Logic of Subtyping

G. Loop (1) , Kathleen Milsted (2) , Sergei Soloviev (3, 4)

1 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay
2 CNET - Centre national d'études des télécommunications
3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
4 ITMO - National Research University of Information Technologies, Mechanics and Optics [St. Petersburg]

Domaines: Informatique [cs]; Mathématiques [math]

G. Loop, Kathleen Milsted, Sergei Soloviev. A Logic of Subtyping. 10th IEEE annual Symposium on Logic in Computer Science (LICS 1995), IEEE, Jun 1995, San Diego, United States. pp.292--300, ⟨10.1109/LICS.1995.523264⟩. ⟨hal-03316379⟩