Pages that link to "Item:Q1398478"
From MaRDI portal
The following pages link to Phase semantics for light linear logic (Q1398478):
Displaying 6 items.
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Light affine lambda calculus and polynomial time strong normalization (Q877259) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
