Similar Items: Total Representations
- Comparing hierarchies of total functionals
- Totality for Mixed Inductive and Coinductive Types
- A Load-Buffer Semantics for Total Store Ordering
- Domain Representations Induced by Dyadic Subbases
- Representations of measurable sets in computable measure theory
- The categorical contours of the Chomsky-Schützenberger representation theorem