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