The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories.
Peter LeFanu LumsdaineMichael A. WarrenPublished in: ACM Trans. Comput. Log. (2015)
Keyphrases
- high level
- theoretical foundation
- prior knowledge
- probabilistic model
- theoretical framework
- information systems
- prediction model
- mathematical model
- parameter estimation
- theoretical analysis
- probability distribution
- data sets
- maximum likelihood
- objective function
- statistical model
- image sequences
- computational models
- formal model
- network model
- formal models