No. Title Author Year
1 Rewriting for Monoidal Closed Categories Alvarez-Picallo, Mario et al. 2022
2 Front Matter, Table of Contents, Preface, Conference Organization Ghica, Dan R. et al. 2018
3 LIPIcs, Volume 119, CSL'18, Complete Volume Ghica, Dan et al. 2018
4 Diagrammatic Semantics for Digital Circuits Ghica, Dan R. et al. 2017
5 The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter Muroya, Koko et al. 2017
6 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: 6

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