The following pages link to (Q4250359):
Displaying 5 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Prime algebraicity (Q843107) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
