A hypergraph rewriting language and its semantics.
Hokkaido Mathematical Journal, 34 (2005) pp.103-134
A resource conscious functional language is introduced based a hypergraph rewriting scheme described by higher dimensional hypergraphs. Its operational and denotational semantics are given.
|Uncontrolled Keywords||hypergraph rewriting, hypercategory, functional programming|