Formalization of dependent type theory: The example of CaTT.

Thibaut Benjamin

Published in: CoRR (2021)

Keyphrases

theoretical foundation
theoretical basis
neural network
knowledge representation
design theory
real world
machine learning
decision making
three dimensional
control system
theoretical framework
formal logic