A simple type theory without platonic domains.

Charles Chihara

Published in: J. Philos. Log. (1984)

Keyphrases

real world
theoretical framework
case study
computational model
application domains
genetic algorithm
support vector
user interface
evolutionary algorithm
cross domain
formal theory