subtyping Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
4 | All Time | 0% unanswered |
Related Tags
subtyping × 4agda × 2
type-theory × 1
coq × 1
reference-request × 1
inductive-type × 1
calculus-of-inductive-constructions × 1
cumulativity × 1
type-rule × 1