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
Current Page :
Number of result pages: 1
Number of documents: 9

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI