| No. |
Title |
Author |
Year |
| 1 |
Functorial String Diagrams for Reverse-Mode Automatic Differentiation |
Alvarez-Picallo, Mario et al. |
2023 |
| 2 |
Rewriting Modulo Traced Comonoid Structure |
Ghica, Dan R. et al. |
2023 |
| 3 |
String Diagrams for Non-Strict Monoidal Categories |
Wilson, Paul et al. |
2023 |
| 4 |
Rewriting for Monoidal Closed Categories |
Alvarez-Picallo, Mario et al. |
2022 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Ghica, Dan R. et al. |
2018 |
| 6 |
LIPIcs, Volume 119, CSL'18, Complete Volume |
Ghica, Dan et al. |
2018 |
| 7 |
Diagrammatic Semantics for Digital Circuits |
Ghica, Dan R. et al. |
2017 |
| 8 |
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter |
Muroya, Koko et al. |
2017 |
| 9 |
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes |
Gabbay, Murdoch J. et al. |
2015 |
