Pages that link to "Item:Q5716788"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716788):
Displayed 10 items.
- Semantic subtyping for the pi-calculus (Q930882) (← 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 Better Bubbling Lemma (Q2864214) (← links)
- (Q5091145) (← links)
- (Q5216307) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Polarized subtyping (Q6166799) (← links)
- A calculus with recursive types, record concatenation and subtyping (Q6176573) (← links)