Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. A Logic of Subtyping (Extended Abstract). In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA. pages 292-299, IEEE Computer Society, 1995.
@inproceedings{LongoMS95, title = {A Logic of Subtyping (Extended Abstract)}, author = {Giuseppe Longo and Kathleen Milsted and Sergei Soloviev}, year = {1995}, tags = {subtyping, logic}, researchr = {https://researchr.org/publication/LongoMS95}, cites = {0}, citedby = {0}, pages = {292-299}, booktitle = {Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, 26-29 June 1995, San Diego, California, USA}, publisher = {IEEE Computer Society}, }