@inproceedings(cybernetics,
 author       = {Matteo Capucci and Bruno Gavranovi\'c and Jules Hedges and Fjeldgren Rischel, Eigil},
 year         = {2021},
 title        = {Towards foundations of categorical cybernetics},
 series       = {THISVOLUME[56]},
)
@article(escardo-oliva,
 author       = {Mart{\'{\i}}n Escard{\'{o}} and Paulo Oliva},
 year         = {2010},
 title        = {Sequential games and optimal strategies},
 journal      = {Proceedings of the Royal Society A},
 volume       = {467},
 pages        = {1519--1545},
 doi          = {10.1098/rspa.2010.0471},
)
@inproceedings(baf,
 author       = {Brendan Fong and David I. Spivak and R{\'{e}}my Tuy{\'{e}}ras},
 year         = {2019},
 title        = {Backprop as Functor: A compositional perspective on supervised learning},
 booktitle    = {LICS'19},
 publisher    = {{IEEE}},
 pages        = {1--13},
 doi          = {10.1109/LICS.2019.8785665},
)
@article(lenses,
 author       = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
 year         = {2007},
 title        = {Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-Update Problem},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {29},
 number       = {3},
 pages        = {17–es},
 doi          = {10.1145/1232420.1232424},
)
@inproceedings(julesGames,
 author       = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
 year         = {2018},
 title        = {Compositional Game Theory},
 booktitle    = {LICS'18},
 publisher    = {{ACM}},
 pages        = {472--481},
 doi          = {10.1145/3209108.3209165},
)
@article(GhaniKLF18,
 author       = {Neil Ghani and Clemens Kupke and Alasdair Lambert and Fredrik Nordvall Forsberg},
 year         = {2018},
 title        = {A compositional treatment of iterated open games},
 journal      = {Theor. Comput. Sci.},
 volume       = {741},
 pages        = {48--57},
 doi          = {10.1016/j.tcs.2018.05.026},
)
@phdthesis(julesPhD,
 author       = {Jules Hedges},
 year         = {2016},
 title        = {Towards compositional game theory},
 school       = {Queen Mary University of London},
)
@inproceedings(hedges2018backward,
 author       = {Jules Hedges},
 year         = {2018},
 title        = {Backward induction for repeated games},
 editor       = {Robert Atkey and Sam Lindley},
 booktitle    = {MSFP '18},
 series       = {{EPTCS}},
 volume       = {275},
 pages        = {35--52},
 doi          = {10.4204/EPTCS.275.5},
)
@misc(julesHaskell,
 author       = {Jules Hedges and Philipp Zahn and Andr{\'e} Videla and Sjoerd Visscher},
 title        = {Open Games in Haskell},
 url          = {https://github.com/jules-hedges/open-games-hs},
)
@book(eogt,
 author       = {Leyton-Brown, Kevin and Yoav Shoham},
 year         = {2008},
 title        = {Essentials of Game Theory: A Concise Multidisciplinary Introduction},
 publisher    = {Morgan \& Claypool},
)
@phdthesis(norell:thesis,
 author       = {Ulf Norell},
 year         = {2007},
 title        = {Towards a practical programming language based on dependent type theory},
 school       = {Chalmers University of Technology},
)
@article(riley2018categories,
 author       = {Mitchell Riley},
 year         = {2018},
 title        = {Categories of optics},
 journal      = {arXiv preprint arXiv:1809.00738},
)