![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Weak Transitivity in Coercive Subtyping
Geuvers, Herman, Wiedijk, FreekVolume:
10.1007/3-
Year:
2003
Language:
english
DOI:
10.1007/3-540-39185-1_13
File:
PDF, 265 KB
english, 2003