A constructive manifestation of the Kleene-Kreisel continuous functionals.

Martín Escardó Chuangjie Xu

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

higher order
regular expressions
real time
data sets
special case
propositional logic
discrete space
databases
machine learning
information retrieval
genetic algorithm
artificial intelligence
search algorithm
artificial neural networks
continuous variables
regularized image restoration