Skip to main content
PRL Project

Search Algorithms in Type Theory

by James L. Caldwell, Ian Gent, Judith Underwood

Theoretical Computer Science, vol. 232.

  • unofficial copies PDF, PS

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

bibTex ref: CGU00

cite link