The following pages link to (Q4327828):
Displaying 13 items.
- New Curry-Howard terms for full linear logic (Q1390952) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Parallel beta reduction is not elementary recursive (Q1854460) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- (Optimal) duplication is not elementary recursive (Q1881231) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- (Q3026351) (← links)
- Logspace Reducibility: Models and Equivalences (Q4341044) (← links)
- (Q5013813) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- A categorical reduction system for linear logic (Q5137919) (← links)
- Super exponentials in linear logic (Q6657784) (← links)