Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V., & Stokkermans, K. (1999). Modeling Interaction by Sheaves and Geometric Logic. In G. Ciobanu, & G. Paun (Eds.), Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99) (pp. 512-523). Berlin, Germany: Springer.