The Independence of Markov's Principle in Type Theory.

Thierry Coquand Bassel Mannaa

Published in: FSCD (2016)

Keyphrases

conditional independence
theoretical basis
general theory
formal theory
structural risk minimization
case study
markov chain
computational model
databases
genetic algorithm
information systems
decision trees
semi markov
dependence structure