Dependent Record Types, Subtyping and Proof Reutilization

Cached

Download Links

by Gustavo Betarte , Gustavo Betarte (draft
Citations:4 - 1 self