Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This area is linked to cubical sets and I just came on a recent paper by Glynn Winskel and Sam Staton, that may be of interest as it links several of the models for concurrency with presheaves. The paper is here.
(Edit: I have also linked to another paper by Winskel, Events, causality, and symmetry, (online version), from 2009. This may be useful for various aspects of the Physics-Theoretical Computer Science/Logic interface. It is well written and reasonably chatty.)
1 to 1 of 1