pi-Calculus Semantics of Moded Flat GHC (1995)
O Ntt, Keiji Hirata, Keiji Hirata
This paper presents a new operational semantics for moded Flat Guarded Horn Clauses (FGHC). ß-calculus is a simple model of concurrent computation based upon the notion of naming; ß-calculus agents...
Weak Orthogonality Implies Confluence: the Higher-Order Case (1994)
O Ntt, Vincent Van Oostrom, Vincent Van Oostrom, Femke Van Raamsdonk, Femke Van Raamsdonk
In this paper we prove confluence for weakly orthogonal Higher-Order Rewriting Systems. This generalises all the known `confluence by orthogonality' results. AMS Subject Classification (1991):...