Similar Items: The Independence of Markov's Principle in Type Theory
- Statistical field theory for Markov decision processes under uncertainty
- Normalisation by Evaluation for Type Theory, in Type Theory
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- The Size-Change Principle for Mixed Inductive and Coinductive types
- Decisive Markov Chains
- Idempotents in intensional type theory