The following pages link to (Q2753690):
Displayed 7 items.
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
- A semantic proof of polytime soundness of light affine logic (Q987375) (← links)
- Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)