The following pages link to (Q5111892):
Displayed 8 items.
- On sharing, memoization, and polynomial time (Q1640979) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Call-by-value lambda calculus as a model of computation in Coq (Q2319993) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- On the value of variables (Q2401632) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)