Bar recursion in classical realisability : dependent choice and well ordering of R.

Jean-Louis Krivine

Published in: CoRR (2015)

Keyphrases

feature extraction
complex objects
special case
deductive databases
case study
expert systems
artificial neural networks
partial ordering