Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis.

Jean-Louis Krivine

Published in: CSL (2016)

Keyphrases

data mining
complex objects
machine learning
artificial neural networks
deductive databases
knowledge base
high level
information technology
pairwise
transitive closure