Quantifiers on languages and codensity monads (Mathematical Structures in Computer Science, 2021)

(untitled) - Gehrke, M; Petrişan, D; Reggio, L