TY  - RPRT
TI  - A Point-free Perspective on Lax extensions and Predicate liftings
AU  - Sergey Goncharov
AU  - Dirk Hofmann
AU  - Pedro Nora
AU  - Lutz Schröder
AU  - Paul Wild
PY  - 2023
DO  - 10.1017/s096012952300035x
UR  - https://arxiv.org/abs/2112.12681
ID  - 2112.12681
ER  -