Nominal String Diagrams

Project Details

Short titleNominal String Diagrams
StatusFinished
Effective start/end date1/12/20 → 31/05/24

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference contribution

  • Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs

    Tiurin, A., Barrett, C., Ghica, D. R. & Hu, N., 9 Oct 2025, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 209-222 14 p. 11186301. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    5 Downloads (Pure)

  • Rewriting Modulo Traced Comonoid Structure

    Ghica, D. R. & Kaye, G., 28 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    27 Downloads (Pure)