Similar Items: The principle of pointfree continuity
- Coinductive Proof Principles for Stochastic Processes
- The Independence of Markov's Principle in Type Theory
- Continuous Regular Functions
- Continuous Positional Payoffs
- The Size-Change Termination Principle for Constructor Based Languages
- Signatures and Induction Principles for Higher Inductive-Inductive Types