Constructor subtyping in the Calculus of Inductive Constructions (2000)

Cached

Download Links

by Gilles Barthe , Femke Van Raamsdonk
Venue:Proceedings of FOSSACS'00, LNCS 1784
Citations:6 - 0 self