Similar Items: Univalent Enriched Categories and the Enriched Rezk Completion
- A taxonomy of categories for relations
- Hofmann-Streicher lifting of fibred categories
- Positionality in $Σ_0^2$ and a completeness result
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- Expressivity of AuDaLa: Turing Completeness and Possible Extensions
- Distributed Computing Algorithm of Nuclear Norm Minimization for Low-Rank Matrix Completion