Similar Items: Expressivity of AuDaLa: Turing Completeness and Possible Extensions
- Univalent Enriched Categories and the Enriched Rezk Completion
- Positionality in $Σ_0^2$ and a completeness result
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Making Access Possible
- Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion
- Causal Explanations for Image Classifiers