Login / Signup
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized.
Andreas Abel
Nils Anders Danielsson
Oskar Eriksson
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
computational model
theoretical framework
information retrieval
information theory
data mining
e learning
image sequences
multiscale
multiresolution
computer simulation
modal logic
theoretical basis
general theory
unequal error protection