Partial Functions in Type Theory.

François Lepage

Published in: Notre Dame J. Formal Log. (1992)

Keyphrases

theoretical framework
database
decision trees
theoretical foundation
information retrieval
genetic algorithm
website
conceptual framework
general theory