Stem hypercoher$ (all stems)
2 papers:
- CSL-2008-Tranquilli #correctness #linear #logic #multi #semantics
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (PT), pp. 246–261.
- ICALP-2004-Boudes #game studies
- Projecting Games on Hypercoherences (PB), pp. 257–268.