Sign in
Conservativity of Type Theory over Higher-Order Arithmetic.
Daniël Otten
Benno van den Berg
Published in:
CSL (2024)
Keyphrases
</>
higher order
theoretical basis
high order
natural images
formal theory
databases
low order
conceptual framework
theoretical framework
markov random field
input image
artificial intelligence
genetic algorithm
floating point
general theory
machine learning
real world