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