The following pages link to Theoretical Computer Science (Q5395063):
Displaying 10 items.
- Object inheritance beyond subtyping (Q1323343) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Positive subtyping (Q1917089) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Logic of subtyping (Q2500487) (← links)
- Operational equivalences for untyped and polymorphic object calculi (Q2704321) (← links)
- (Q4230924) (← links)
- (Q4870822) (← links)
- A delegation-based object calculus with subtyping (Q5055878) (← links)
- Theoretical Computer Science (Q5897361) (← links)