Coercion Completion and Conservativity in Coercive Subtyping (2000)

Cached

Download Links

by Sergei Soloviev , Zhaohui Luo
Venue:ANNALS OF PURE AND APPLIED LOGIC
Citations:14 - 9 self