Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping (1996)

Cached

Download Links

by Alex Jones , Zhaohui Luo , sergei Soloviev
Venue:In Proceedings of TYPES'96, Lecture Notes in Computer Science
Citations:6 - 0 self