A Dependent Dependency Calculus (Extended Version).

Pritam Choudhury Harley Eades III Stephanie Weirich

Published in: CoRR (2022)

Keyphrases

artificial intelligence
neural network
image processing
decision trees
case study
search algorithm
data model
provably correct