Pages that link to "Item:Q1827395"
From MaRDI portal
The following pages link to Realizability models for BLL-like languages (Q1827395):
Displaying 5 items.
- Realizability models and implicit complexity (Q534712) (← links)
- A semantic proof of polytime soundness of light affine logic (Q987375) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- Realizability models for a linear dependent PCF (Q2346992) (← links)