Modeling Interaction by Sheaves and Geometric Logic.

Viorica Sofronie-Stokkermans, Karel Stokkermans

Browse the full FCT paper archive.