The following pages link to (Q4650579):
Displaying 8 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Unlabeled sample compression schemes and corner peelings for ample and maximum classes (Q2121466) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- (Q5079740) (← links)
- (Q5091184) (← links)
- (Q5111308) (← links)
