Relational Type Theory (All Proofs).

Aaron Stump Benjamin Delaware Christopher Jenkins

Published in: CoRR (2021)

Keyphrases

theoretical basis
theorem proving
multi relational
databases
e learning
relational databases
relational data
neural network
machine learning
equational theories