Login / Signup
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