Graded Modal Dependent Type Theory.

Benjamin Moon Harley Eades III Dominic Orchard

Published in: CoRR (2020)

Keyphrases

theoretical framework
real time
theoretical foundation
formal theory
data mining
three dimensional
multiscale
learning environment
artificial neural networks
multiple types