mlsanityData to 14 Oct 2026

Retracing some paths in Process Algebra

arXiv 1401.5113 ↗First posted 20 Jan 2014cs.LOcited by 2

Not on the map. Why?

Abstract (arXiv)

We use traced monoidal categories to give a precise general version of "geometry of interaction". We give a number of examples of both "particle-style" and "wave-style" instances of this construction. We relate these ideas to semantics of computation.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). First posted on arXiv 20 Jan 2014.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2021: 1; 2022: 0; 2023: 1.

2 papers.

  1. 2023Distilling Text into Circuitscited by 7
  2. 2021How to make qubits speakcited by 5