Judith L. Underwood

Learn More
The importance of search problems in computer science has led to many advances in search techniques. However, techniques developed for a particular search problem may not be easily applied to other problems. In this paper, we take an abstract view of search problems by describing search procedures as particular kinds of proofs in type theory, using the(More)
  • 1