The completeness of functional logic

DOI10.1007/BF01211080zbMath0801.03024MaRDI QIDQ1318282

Peter Nickolas

Publication date: 1 December 1994

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

completenessdeduction theoremintensional logicfunctional logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

The completeness of functional logic

Cites Work

• Unnamed Item
• A functional logic for higher level reasoning about computation
• The completeness of functional logic
• Ten Years of Hoare's Logic: A Survey—Part I
• An axiomatic basis for computer programming

This page was built for publication: The completeness of functional logic