16 search results - page 1 / 4 » Extensional Higher-Order Resolution |
CADE
1998
Springer
13 years 9 months 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...
CADE
1999
Springer
13 years 9 months ago
1999
Springer
FSEN
2009
Springer
13 years 12 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
POPL
1992
ACM
13 years 9 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
CGF
2000
13 years 5 months ago
2000
Since wavelets were introduced in the radiosity algorithm5, surprisingly little research has been devoted to higher order wavelets and their use in radiosity algorithms. A previou...