Pages that link to "Item:Q596037"

The following pages link to Phase semantics and decidability of elementary affine logic (Q596037):

Displaying 3 items.

• A semantic proof of polytime soundness of light affine logic (Q987375) (← 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)