TY  - RPRT
TI  - Quantifiers on languages and codensity monads
AU  - Mai Gehrke
AU  - Daniela Petrisan
AU  - Luca Reggio
PY  - 2019
DO  - 10.1017/s0960129521000074
UR  - https://arxiv.org/abs/1702.08841
ID  - 1702.08841
ER  -