Similar Items: Direct spectra of Bishop spaces and their limits
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
- A Cubical Language for Bishop Sets
- Bounded degree and planar spectra
- Geometric and singularities insights of swept surfaces via the Bishop frame in Euclidean 3-Space
- A note on first-order spectra with binary relations
- Pyphot: A tool for computing photometry from spectra