Ordered combinatory algebras and realizability.

Walter Ferrer Santos Jonas Frey Mauricio Guillermo Octavio Malherbe Alexandre Miquel

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

Keyphrases

temporal reasoning
real world
metadata
topological spaces
ordered sets
data sets
neural network
data structure
rough sets
user defined
spatial reasoning