Stem chu$ (all stems)
2 papers:
- LICS-2010-Abramsky #algebra #physics
- Coalgebras, Chu Spaces, and Representations of Physical Systems (SA), pp. 411–420.
- LICS-1999-DevarajanHPP #linear #logic #multi
- Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.