Pages that link to "Item:Q1827389"
From MaRDI portal
The following pages link to Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389):
Displayed 8 items.
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Linear logic and elementary time (Q1401946) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)