Pages that link to "Item:Q2481559"
From MaRDI portal
The following pages link to Logical equivalence for subtyping object and recursive types (Q2481559):
Displaying 9 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Operational equivalences for untyped and polymorphic object calculi (Q2704321) (← links)
- Subtyping in logical form (Q2842836) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- Structural subtyping for inductive types with functorial equality rules (Q3535679) (← links)
- (Q4230924) (← links)
- Theoretical Computer Science (Q5395063) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Theoretical Computer Science (Q5897361) (← links)