Login / Signup
Variations on Realizability: Simple examples realizing axioms of choice.
Martin Hyland
Published in:
Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
</>
simple examples
knowledge base
stochastic simulation
data sets
first order logic
machine learning
search algorithm
higher order
generative model