Pages that link to "Item:Q1398468"
From MaRDI portal
The following pages link to Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468):
Displaying 5 items.
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- (Q4993336) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)