Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs

Documenti analoghi

• E-Graphs With Bindings
  di: Tiurin, Aleksei, et al.
  Pubblicazione: (2025)
• Rewriting Modulo Traced Comonoid Structure
  di: Ghica, Dan R., et al.
  Pubblicazione: (2023)
• Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
  di: Milosavljevic, Aleksandar, et al.
  Pubblicazione: (2022)
• String Diagrams for $λ$-calculi and Functional Computation
  di: Ghica, Dan, et al.
  Pubblicazione: (2023)
• A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
  di: Ghica, Dan R., et al.
  Pubblicazione: (2022)