Dialectica models of type theory.

Sean K. Moss Tamara von Glehn

Published in: LICS (2018)

Keyphrases

mathematical models
statistical models
computational models
real world
decision making
complex systems
data sets
pairwise
probabilistic model
multiscale
empirical data
parameter estimation
knowledge base
feature selection
information systems
computer vision
neural network