The following pages link to (Q3506860):
Displaying 5 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)