An interpretation of dependent type theory in a model category of locally cartesian closed categories.
Martin E. BidlingmaierPublished in: CoRR (2020)
Keyphrases
- high level
- theoretical framework
- probabilistic model
- object recognition
- formal model
- computational model
- mathematical model
- general theory
- conceptual framework
- experimental data
- process model
- management system
- decision making
- statistical model
- conceptual model
- object categories
- probability distribution
- cost function
- similarity measure