Church's thesis and related axioms in Coq's type theory.

Yannick Forster

Published in: CoRR (2020)

Keyphrases

formal methods
computer vision
theoretical framework
machine learning
mathematical foundations
closely related
multiscale
conceptual framework
theoretical basis
axiomatic characterization
real time
formal theory
set theory
theorem prover
first order logic
website
feature selection