Similar Items: Cores of Countably Categorical Structures
- The Church Problem for Countable Ordinals
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- On countable isotypic structures
- A categorical semantics for causal structure
- Categorical structures for type theory in univalent foundations
- Relating Reversible Petri Nets and Reversible Event Structures, categorically