Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. A point-free perspective on lax extensions and predicate liftings. Mathematical Structures in Computer Science, 34(2):98-127, 2024. [doi]
@article{0001HNSW24,
title = {A point-free perspective on lax extensions and predicate liftings},
author = {Sergey Goncharov 0001 and Dirk Hofmann and Pedro Nora and Lutz Schröder and Paul Wild},
year = {2024},
doi = {10.1017/s096012952300035x},
url = {https://doi.org/10.1017/s096012952300035x},
researchr = {https://researchr.org/publication/0001HNSW24},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {34},
number = {2},
pages = {98-127},
}