Jerzy Tiuryn. Subtyping over a Lattice (Abstract). In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 84-88, Springer, 1997.
@inproceedings{Tiuryn97,
title = {Subtyping over a Lattice (Abstract)},
author = {Jerzy Tiuryn},
year = {1997},
tags = {subtyping},
researchr = {https://researchr.org/publication/Tiuryn97},
cites = {0},
citedby = {0},
pages = {84-88},
booktitle = {Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings},
editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
volume = {1289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63385-5},
}