Sign in
Partial Gradual Dependent Type Theory.
Zhan Shi
Published in:
SPLASH Companion (2023)
Keyphrases
</>
theoretical basis
theoretical framework
databases
information retrieval
data structure
real time
decision making
image processing
multiresolution
data model
computational model
formal theory
type checking
difference equations