Realizability in ordered combinatory algebras with adjunction.

Walter Ferrer Santos Mauricio Guillermo Octavio Malherbe

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

Keyphrases

distributive lattices
topological spaces
data sets
neural network
real world
machine learning
information retrieval
learning algorithm
computer vision
image sequences
reinforcement learning
evolutionary algorithm
wireless sensor networks
qualitative and quantitative
clifford algebra