Search Algorithms in Type Theory

unofficial copies [PDF], [PS]


by James L. Caldwell, Ian Gent, and Judith Underwood

Theoretical Computer Science, vol. 232, nos. 1-2, pp. 55-90, 2000.

Abstract

In this paper, we take an abstract view of search by describing search procedures via particular kinds of proofs in type theory.