The Independence of Markov's Principle in Type Theory.
Thierry CoquandBassel MannaaPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- conditional independence
- theoretical framework
- random variables
- dependence structure
- general theory
- computational model
- search engine
- formal theory
- theoretical foundation
- hidden markov models
- information technology
- multi agent systems
- multi agent
- information theory
- bayesian networks
- decision trees
- information systems
- information retrieval
- structural risk minimization