The following pages link to (Q4218924):
Displayed 5 items.
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- The logic of message-passing (Q923880) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- (Q5018485) (← links)