The following pages link to Logic of subtyping (Q2500487):
Displaying 10 items.
- On modal logics of partial recursive functions (Q817692) (← links)
- Higher-order subtyping (Q1392282) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- On modal logic of deductive closure (Q2498907) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- Subtyping in logical form (Q2842836) (← links)
- The relevance of semantic subtyping (Q2842838) (← links)
- (Q3138546) (← links)
- GADTs Meet Subtyping (Q5326307) (← links)
- Theoretical Computer Science (Q5395063) (← links)