Conservativity of Type Theory over Higher-order Arithmetic.

Benno van den Berg Daniel Otten

Published in: CoRR (2023)

Keyphrases

higher order
natural images
theoretical framework
high order
markov random field
theoretical basis
low order
computational model
floating point
arithmetic operations
real time
artificial intelligence
expert systems
conditional random fields
theoretical foundation
mathematical models