The completeness of functional logic

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
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
1
Year of publication
1994
Pages
39 - 59
Database
ACNP
SICI code