References

  1. Matteo Capucci, Bruno Gavranovi\'c, Jules Hedges & Eigil Fjeldgren Rischel (2021): Towards foundations of categorical cybernetics. THISVOLUME[56].
  2. Martín Escardó & Paulo Oliva (2010): Sequential games and optimal strategies. Proceedings of the Royal Society A 467, pp. 1519–1545, doi:10.1098/rspa.2010.0471.
  3. Brendan Fong, David I. Spivak & Rémy Tuyéras (2019): Backprop as Functor: A compositional perspective on supervised learning. In: LICS'19. IEEE, pp. 1–13, doi:10.1109/LICS.2019.8785665.
  4. J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce & Alan Schmitt (2007): Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem. ACM Transactions on Programming Languages and Systems 29(3), pp. 17–es, doi:10.1145/1232420.1232424.
  5. Neil Ghani, Jules Hedges, Viktor Winschel & Philipp Zahn (2018): Compositional Game Theory. In: LICS'18. ACM, pp. 472–481, doi:10.1145/3209108.3209165.
  6. Neil Ghani, Clemens Kupke, Alasdair Lambert & Fredrik Nordvall Forsberg (2018): A compositional treatment of iterated open games. Theor. Comput. Sci. 741, pp. 48–57, doi:10.1016/j.tcs.2018.05.026.
  7. Jules Hedges (2016): Towards compositional game theory. Queen Mary University of London.
  8. Jules Hedges (2018): Backward induction for repeated games. In: Robert Atkey & Sam Lindley: MSFP '18, EPTCS 275, pp. 35–52, doi:10.4204/EPTCS.275.5.
  9. Jules Hedges, Philipp Zahn, André Videla & Sjoerd Visscher: Open Games in Haskell. Available at https://github.com/jules-hedges/open-games-hs.
  10. Kevin Leyton-Brown & Yoav Shoham (2008): Essentials of Game Theory: A Concise Multidisciplinary Introduction. Morgan & Claypool.
  11. Ulf Norell (2007): Towards a practical programming language based on dependent type theory. Chalmers University of Technology.
  12. Mitchell Riley (2018): Categories of optics. arXiv preprint arXiv:1809.00738.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org