Logic of subtyping (2005)

Cached

Download Links

by Pavel Naumov
Venue:Theoretical Computer Science
Citations:3 - 2 self