Authors: John Staples Peter J.Robinson Daniel Hazel

Citation: John Staples et al., A functional logic for higher level reasoning about computation, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 1-38

Authors: John Staples Peter J.Robinson Daniel Hazel

Citation: John Staples et al., The completeness c for higher level reasoning about computation, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 1-38