Sign in
Syntax and models of Cartesian cubical type theory.
Carlo Angiuli
Guillaume Brunerie
Thierry Coquand
Robert Harper
Kuen-Bang Hou (Favonia)
Daniel R. Licata
Published in:
Math. Struct. Comput. Sci. (2021)
Keyphrases
</>
mathematical models
digital images
model selection
information retrieval
database systems
data model
type checking
real world
machine learning
website
expert systems
probabilistic model
computational model
complex systems
experimental data
formal models