Cited By
View all- Ågren Thuné AMatsuda KWang M(2024)Reconciling Partial and Local InvertibilityProgramming Languages and Systems10.1007/978-3-031-57267-8_3(59-89)Online publication date: 6-Apr-2024
- Boisseau GNester CRomán M(2023)Cornering OpticsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.380.6380(97-110)Online publication date: 7-Aug-2023
- Matsuda KFrohlich SWang MWu N(2023)Embedding by UnembeddingProceedings of the ACM on Programming Languages10.1145/36078307:ICFP(1-47)Online publication date: 31-Aug-2023
- Show More Cited By