Primitive Recursive Dependent Type Theory.

Ulrik Buchholtz Johannes Schipp von Branitz

Published in: CoRR (2024)

Keyphrases

database
website
theoretical framework
real time
multiresolution
computer vision
case study
feature space
expert systems
artificial neural networks
probabilistic model
theoretical foundation
general theory