Pages that link to "Item:Q418011"
From MaRDI portal
The following pages link to The Scott model of linear logic is the extensional collapse of its relational model (Q418011):
Displayed 7 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q4580327) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- (Q5018484) (← links)