Pages that link to "Item:Q2948548"
From MaRDI portal
The following pages link to Polarized Substructural Session Types (Q2948548):
Displaying 19 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Nested session types (Q2233456) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5014811) (← links)
- (Q5014814) (← links)
- Gradual type theory (Q5019016) (← links)
- (Q5020946) (← links)
- (Q5028463) (← links)
- Back to futures (Q5063251) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094136) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
