The following pages link to (Q4508290):
Displaying 7 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Program self-reference in constructive Scott subdomains (Q693046) (← links)
- Dependent type system with subtyping I: Type level transitivity elimination (Q1273074) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- (Q3138542) (← links)
- (Q5076061) (← links)
- Theorem Proving in Higher Order Logics (Q5464662) (← links)