A realizability interpretation of Church's simple theory of types.

Ulrich Berger Tie Hou

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

general theory
genetic algorithm
image segmentation
conceptual framework
theoretical basis
simple examples
database
machine learning
image processing
high level
data streams
computational model
information theory
image interpretation