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