Similar Items: Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
- Quotients, inductive types, and quotient inductive types
- Quotients of Bounded Natural Functors
- Constructing Higher Inductive Types as Groupoid Quotients
- High-Performance Elliptic Curve Cryptography: A SIMD Approach to Modern Curves (Thesis Distillation)