Formalizing the Halting Problem in a Constructive Type Theory.

Kristofer Johannisson

Published in: TYPES (2000)

Keyphrases

theoretical basis
information retrieval
databases
trade off
multiresolution
theoretical framework
database
information systems
decision making
data structure
data streams
multiple types