Syntactic categories for dependent type theory: sketching and adequacy.

Daniel Gratzer Jonathan Sterling

Published in: CoRR (2020)

Keyphrases

syntactic categories
machine learning
image features