On Krivine's Realizability Interpretation of Classical Second-Order Arithmetic.

Paulo Oliva Thomas Streicher

Published in: Fundam. Informaticae (2008)

Keyphrases

higher order
high order
image interpretation
floating point
real time
neural network
decision making
knowledge base
high level
probabilistic model
fourth order