The following pages link to (Q4993336):
Displaying 8 items.
- Interaction nets for linear logic (Q1583245) (← links)
- A theorem prover for Boolean BI (Q2931798) (← links)
- Annotation-free sequent calculi for full intuitionistic linear logic (Q2958523) (← links)
- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (Q3612618) (← links)
- (Q4223030) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- On intuitionistic proof nets with additional rewrite rules and their approximations (Q4916174) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)