A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping

Cached

Download Links

by Alexandre Miquel
Citations:6 - 0 self