1. Internal Object Actions;Borceux Francis;Comment. Math. Univ. Carolin.,2005
2. Stephen Brookes and Shai Geva . 1992. Computational Comonads and Intensional Semantics . In Applications of Categories in Computer Science, Michael P . Fourman, Peter T. Johnstone, and Andrew M. Pitts (Eds.). London Math. Soc. Lect. Notes Series, Vol. 177. Cambridge Univ. Press , Cambridge, 1–44. Stephen Brookes and Shai Geva. 1992. Computational Comonads and Intensional Semantics. In Applications of Categories in Computer Science, Michael P. Fourman, Peter T. Johnstone, and Andrew M. Pitts (Eds.). London Math. Soc. Lect. Notes Series, Vol. 177. Cambridge Univ. Press, Cambridge, 1–44.
3. Aloïs Brunel , Marco Gaboardi , Damiano Mazza , and Steve Zdancewic . 2014 . A Core Quantitative Coeffect Calculus . In Programming Languages and Systems: 23rd Europ. Symp. on Programming, ESOP 2014, Proc.(Lect. Notes in Comput. Sci., Vol. 8410) , Zhong Shao (Ed.). Springer, Berlin, Heidelberg, 351–370. https://doi.org/10.1007/978-3-642-54833-8_19 10.1007/978-3-642-54833-8_19 Aloïs Brunel, Marco Gaboardi, Damiano Mazza, and Steve Zdancewic. 2014. A Core Quantitative Coeffect Calculus. In Programming Languages and Systems: 23rd Europ. Symp. on Programming, ESOP 2014, Proc.(Lect. Notes in Comput. Sci., Vol. 8410), Zhong Shao (Ed.). Springer, Berlin, Heidelberg, 351–370. https://doi.org/10.1007/978-3-642-54833-8_19
4. Silvio Capobianco and Tarmo Uustalu . 2010. A Categorical Outlook on Cellular Automata . In Journées Automates Cellulaires 2010 , Jarkko Kari (Ed.). TUCS Lecture Note Series, Vol. 13. University of Turku , Turku, 88–99. https://hal.science/hal-00542015/ Silvio Capobianco and Tarmo Uustalu. 2010. A Categorical Outlook on Cellular Automata. In Journées Automates Cellulaires 2010, Jarkko Kari (Ed.). TUCS Lecture Note Series, Vol. 13. University of Turku, Turku, 88–99. https://hal.science/hal-00542015/
5. Tullio Ceccherini-Silberstein and Michal Coornaert . 2010. Cellular Automata and Groups . Springer , Berlin, Heidelberg . https://doi.org/10.1007/978-3-642-14034-1 10.1007/978-3-642-14034-1 Tullio Ceccherini-Silberstein and Michal Coornaert. 2010. Cellular Automata and Groups. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14034-1