Simple Types in Type Theory: Deep and Shallow Encodings.
François GarillotBenjamin WernerPublished in: TPHOLs (2007)
Keyphrases
- multiple types
- genetic algorithm
- databases
- theoretical basis
- e learning
- domain independent
- orders of magnitude
- database
- evolutionary algorithm
- wall street journal
- highly reliable
- np complete
- natural language processing
- information extraction
- decision trees
- website
- information retrieval
- data mining
- neural network
- real time