Similar Items: Predicative theories of continuous lattices
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- On Irrelevance and Algorithmic Equality in Predicative Type Theory
- Theories of real addition with and without a predicate for integers
- Sharing proofs with predicative theories through universe-polymorphic elaboration
- First Order Theories of Some Lattices of Open Sets
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory