A survey of constructive presheaf models of univalence.

Thierry Coquand

Published in: ACM SIGLOG News (2018)

Keyphrases

parameter estimation
probabilistic model
model selection
statistical models
databases
metadata
pairwise
relational databases
prior knowledge
accurate models