Pages that link to "Item:Q596037"
From MaRDI portal
The following pages link to Phase semantics and decidability of elementary affine logic (Q596037):
Displaying 6 items.
- A semantic proof of polytime soundness of light affine logic (Q987375) (← links)
- Decidability of linear affine logic (Q1854403) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
- (Q4360709) (← links)