The following pages link to (Q4699356):
Displaying 7 items.
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Relational semantics for a fragment of linear logic (Q2874885) (← links)
- (Q4222838) (← links)
- (Q4222842) (← links)
- (Q4360709) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)