Internalising modified realisability in constructive type theory

Published in: CoRR (2005)

Keyphrases

theoretical framework
belief functions
information retrieval
decision trees
relational databases
hidden markov models
theoretical basis
formal theory