References

1. Andrea Censi (2016): A Mathematical Theory of Co-Design. Available at https://arxiv.org/abs/1512.08055v7.
2. Bryce Clarke (2020): Internal lenses as functors and cofunctors. In: Applied Category Theory 2019 323, pp. 183–195, doi:10.4204/EPTCS.323.13.
3. Bryce Clarke (2020): Internal split opfibrations and cofunctors. Theory and Applications of Categories 35(44). Available at http://www.tac.mta.ca/tac/volumes/35/44/35-44abs.html.
4. Matthew Di Meglio (2021): Coequalisers under the lens. To appear in Applied Category Theory 2021.
5. Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011): From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology 10, doi:10.5381/jot.2011.10.1.a6.
6. Brendan Fong & David I. Spivak (2019): An Invitation to Applied Category Theory: Seven Sketches in Compositionality. Cambridge University Press, Cambridge, doi:10.1017/9781108668804.
7. Michael Johnson & Robert Rosebrugh (2016): Unifying Set-Based, Delta-Based and Edit-Based Lenses. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, CEUR Workshop Proceedings 1571, pp. 1–13. Available at http://ceur-ws.org/Vol-1571/paper_13.pdf.
8. Michael Johnson & Robert Rosebrugh (2017): Symmetric delta lenses and spans of asymmetric delta lenses. Journal of Object Technology 16(1), doi:10.5381/jot.2017.16.1.a2.
9. Michael Johnson & Robert Rosebrugh (2021): The more legs the merrier: A new composition for symmetric (multi-)lenses. In: Applied Category Theory 2020 333, pp. 92–107, doi:10.4204/EPTCS.333.7.
10. Michael Johnson, Robert Rosebrugh & R. J. Wood (2012): Lenses, fibrations and universal translations. Mathematical Structures in Computer Science 22(1), doi:10.1017/S0960129511000442.
11. Frank J. Oles (1982): A category-theoretic approach to the semantics of programming languages. Syracuse University. Available at https://www.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www/FrankOlesThesis.pdf.
12. Benjamin C. Pierce & Alan Schmitt (2003): Lenses and view update translation. Preprint. Available at https://www.cis.upenn.edu/~bcpierce/papers/dblenses.pdf.
13. Gioele Zardini, Andrea Censi & Emilio Frazzoli (2021): Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis. In: 2021 20th European Control Conference (ECC). IEEE, doi:10.23919/ECC54610.2021.9654960.
14. Gioele Zardini, Nicolas Lanzetti, Mauro Salazar, Andrea Censi, Emilio Frazzoli & Marco Pavone (2020): On the Co-Design of AV-Enabled Mobility Systems. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp. 1–8, doi:10.1109/ITSC45102.2020.9294499.
15. Gioele Zardini, Dejan Milojevic, Andrea Censi & Emilio Frazzoli (2021): Co-Design of Embodied Intelligence: A Structured Approach. In: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, doi:10.1109/IROS51168.2021.9636513.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org