Pages that link to "Item:Q5716788"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716788):
Displaying 14 items.
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- Subtyping can have a simple semantics (Q1177151) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- Tracing where and who provenance in linked data: a calculus (Q1929234) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- The relevance of semantic subtyping (Q2842838) (← links)
- The better bubbling lemma (Q2864214) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- (Q3138546) (← links)
- (Q5091145) (← links)
- A generic usage analysis with subeffect qualifiers (Q5168932) (← links)
- (Q5216307) (← links)
- GADTs Meet Subtyping (Q5326307) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)