Non-Principal Ultrafilters, Program Extraction and Higher-order Reverse Mathematics.

Alexander P. Kreuzer

Published in: J. Math. Log. (2012)

Keyphrases

higher order
high order
natural images
markov random field
computer science
pairwise
low order
knowledge extraction
computer programs
computer assisted instruction
machine learning
automatically extracting
control program
lambda calculus