Pages that link to "Item:Q2753690"
From MaRDI portal
The following pages link to Discreet games, light affine logic and PTIME computation (Q2753690):
Displaying 9 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)
- Evolving games and essential nets for affine polymorphism (Q2778832) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)