The Friedman-Translation for Martin-Löf's Type Theory.

Published in: Math. Log. Q. (1995)

Keyphrases

theoretical framework
data sets
genetic algorithm
information systems
computational model
cross language information retrieval
theoretical basis
general theory
image sequences
data model
formal theory