The seven virtues of simple type theory.

William M. Farmer

Published in: J. Appl. Log. (2008)

Keyphrases

theoretical foundation
black box
database
real time
neural network
real world
decision trees
object recognition
trade off
computational model
theoretical framework
simple examples