A Functional Logic for Higher Level Reasoning About Computation

John Staples, Peter J. Robinson, Daniel Hazel. A Functional Logic for Higher Level Reasoning About Computation. Formal Asp. Comput., 6(1):1-38, 1994.

Abstract

Abstract is missing.