Constructive sheaf models of type theory.

Thierry Coquand Fabian Ruch Christian Sattler

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

computational models
experimental data
neural network
probabilistic model
computational model
process model
theoretical foundation
databases
three dimensional
search algorithm
theoretical framework
complex systems
classification models
mathematical framework
formal models
theoretical developments