Pages that link to "Item:Q1971797"
From MaRDI portal
The following pages link to On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797):
Displaying 12 items.
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- Generalized bounded linear logic and its categorical semantics (Q2233407) (← links)
- Non-Uniform Hypercoherences (Q2842815) (← links)
- (Q2874885) (← links)
- (Q3384065) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
