Authors: Peter Nickolas

Citation: Peter Nickolas, The completeness of functional logic, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 39-59