Hokkaido Mathematical Journal

HIGUCHI Akira,

A hypergraph rewriting language and its semantics.

Hokkaido Mathematical Journal, 34 (2005) pp.103-134

Fulltext

PDF

Abstract

A resource conscious functional language is introduced based a hypergraph rewriting scheme described by higher dimensional hypergraphs. Its operational and denotational semantics are given.

MSC(Primary)68Q10
MSC(Secondary)
Uncontrolled Keywordshypergraph rewriting, hypercategory, functional programming