Pages that link to "Item:Q2842838"
From MaRDI portal
The following pages link to The relevance of semantic subtyping (Q2842838):
Displaying 8 items.
- A typed lambda calculus with intersection types (Q930870) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- The better bubbling lemma (Q2864214) (← links)
- A generic usage analysis with subeffect qualifiers (Q5168932) (← links)
- GADTs Meet Subtyping (Q5326307) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705918) (← links)
- Automata, Languages and Programming (Q5716788) (← links)