Formalising Bitonic Sort in Type Theory.

Ana Bove Thierry Coquand

Published in: TYPES (2004)

Keyphrases

theoretical framework
databases
theoretical foundation
formal theory
theoretical basis
database
real time
information retrieval
decision trees
three dimensional
objective function
lower bound
conceptual framework
multiple types