54 search results - page 1 / 11 » Topological Completeness for Higher-Order Logic |
JSYML
2000
13 years 8 months ago
2000
FLOPS
1999
Springer
14 years 25 days ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
PLILP
1995
Springer
14 years 2 days ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
CADE
1998
Springer
14 years 18 days ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
TPHOL
1995
IEEE
14 years 2 days ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...