Pages that link to "Item:Q4660260"
From MaRDI portal
The following pages link to FUNCTIONAL PEARL <i>Linear lambda calculus and PTIME-completeness</i> (Q4660260):
Displaying 10 items.
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus (Q2904051) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← links)
- (Q3142166) (← links)
- (Q5013825) (← links)
- Polynomial Time in the Parametric Lambda Calculus. (Q5277846) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Linear lambda terms as invariants of rooted trivalent maps (Q5371978) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
- Linear additives (Q6657785) (← links)