An intensionally fully-abstract sheaf model for π (expanded version).
Clovis EberhartTom HirschowitzThomas SeillerPublished in: CoRR (2017)
Keyphrases
- theoretical framework
- mathematical model
- high level
- probability distribution
- computational model
- prior knowledge
- formal model
- computational models
- conceptual model
- closed form
- hierarchical structure
- experimental data
- statistical model
- management system
- probabilistic model
- data model
- artificial neural networks
- objective function