Pages that link to "Item:Q5044756"
From MaRDI portal
The following pages link to Optimal reductions in interaction systems (Q5044756):
Displaying 8 items.
- Theoretical and computational results about optimality-based domain reductions (Q288410) (← links)
- Paths, computations and labels in the \(\lambda\)-calculus (Q673626) (← links)
- Optimal systems of fundamental \(S\)-units for LLL-reduction (Q987569) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Reducibility Relationships Between Decision Problems for System Functions (Q3791141) (← links)
- Paths, computations and labels in the λ-calculus (Q5055792) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)