The following pages link to PELCR (Q5277779):
Displaying 5 items.
- PELCR (Q32655) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- (Q5013889) (← links)
- Abstract machines, optimal reduction, and streams (Q5108536) (← links)