Pages that link to "Item:Q1989326"
From MaRDI portal
The following pages link to Polynomial time in untyped elementary linear logic (Q1989326):
Displaying 6 items.
- Linear logic and elementary time (Q1401946) (← links)
- Primal Infon Logic: Derivability in Polynomial Time (Q2963910) (← links)
- From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing (Q3612618) (← links)
- Is there a logic for polynomial time? (Q4255975) (← links)
- (Q4681363) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)