The following pages link to (Q4327828):
Displaying 8 items.
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Parallel beta reduction is not elementary recursive (Q1854460) (← links)
- (Optimal) duplication is not elementary recursive (Q1881231) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- (Q5013813) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- (Q5137919) (← links)
