Primitive Recursive Dependent Type Theory.

Ulrik Torben Buchholtz Johannes Schipp von Branitz

Published in: LICS (2024)

Keyphrases

theoretical basis
theoretical framework
data mining
databases
neural network
information retrieval
learning algorithm
high level
reinforcement learning
multi agent systems
computer science
evolutionary algorithm
mathematical foundations