Similar Items: Transforming structures by set interpretations
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation
- Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
- Interpretable Merging-Vehicle Acceleration Prediction via a Decoder-Only Transformer and Attention Map Clustering
- An operational interpretation of coinductive types
- Modal Functional (Dialectica) Interpretation
- A Normalizing Intuitionistic Set Theory with Inaccessible Sets