![](/img/cover-not-exists.png)
[IEEE Tenth Annual IEEE Symposium on Logic in Computer Science - San Deigo, CA, USA (26-29 June 1995)] Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science - A logic of subtyping
Loop, G., Milsted, K., Soloviev, S.Year:
1995
Language:
english
DOI:
10.1109/LICS.1995.523264
File:
PDF, 755 KB
english, 1995