Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination

Documenti analoghi

• Introducing Quantification into a Hierarchical Graph Rewriting Language
  di: Mishina, Haruto, et al.
  Pubblicazione: (2024)
• Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
  di: Tei, Kayo, et al.
  Pubblicazione: (2025)
• Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
  di: Sano, Jin, et al.
  Pubblicazione: (2025)
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
  di: Accattoli, Beniamino
  Pubblicazione: (2022)
• E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
  di: Chen, Chen, et al.
  Pubblicazione: (2024)