On Logics and Homomorphism Closure
2021
LICS2021
https://arxiv.org/abs/2104.11955
logic
type theory
homotopy type theory