Dependent Type System with Subtyping -- Type Level Transitivity Elimination (1996)

Cached

Download Links

by Gang Chen