The following pages link to Optimizing optimal reduction (Q5277747):
Displaying 8 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- An Elementary Affine λ-Calculus with Multithreading and Side Effects (Q3007663) (← links)
- Optimized encodings of fragments of type theory in first order logic (Q4647585) (← links)
- (Q4681363) (← links)
- Typed Lambda Calculi and Applications (Q5704029) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)