Similar Items: Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
- Cartesian Difference Categories
- Undecidability of a weak version of MSO+U
- Categorical composable cryptography: extended version
- Hilbert's Tenth Problem in Coq (Extended Version)
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories