Subset coercions in Coq (2006)

Cached

Download Links

by Matthieu Sozeau
Venue:In Selected papers from the International Workshop on Types for Proofs and Programs (TYPES’06
Citations:39 - 2 self