Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

Koko Muroya ; Dan R. Ghica.
In implementing evaluation strategies of the lambda-calculus, both correctness and efficiency of implementation are valid concerns. While the notion of correctness is determined by the evaluation strategy, regarding efficiency there is a larger design space that can be explored, in particular the&nbsp;[&hellip;]
Published on October 30, 2019
Volume 15, Issue 4

String diagrams for Strictification and Coherence

Paul Wilson ; Dan Ghica ; Fabio Zanasi.
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string&nbsp;[&hellip;]
Published on October 29, 2024
Volume 20, Issue 4
  • < Previous
  • 1
  • Next >