Similar Items: A type reduction theory for systems with replicated components
- Node Replication: Theory And Practice
- Normalisation by Evaluation for Type Theory, in Type Theory
- Prominent Roles of Conditionally Invariant Components in Domain Adaptation: Theory and Algorithms
- A dependent nominal type theory
- A modular construction of type theories
- Idempotents in intensional type theory