-categories as models of a type theory.

Thibaut Benjamin

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

Keyphrases

statistical models
database
parameter estimation
computational models
genetic algorithm
probabilistic model
model selection
classification models
multi agent
expert systems
statistical model
parametric models
mathematical framework
formal models
accurate models