481 search results - page 2 / 97 » Executing Higher Order Logic |
CADE
1997
Springer
13 years 8 months ago
1997
Springer
CADE
1999
Springer
13 years 8 months ago
1999
Springer
CADE
1998
Springer
13 years 8 months ago
1998
Springer
FLOPS
1999
Springer
13 years 8 months 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...
TPHOL
2007
IEEE
13 years 10 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...