%0 Journal Article %1 journals/mscs/0001HNSW24 %A Goncharov, Sergey %A Hofmann, Dirk %A Nora, Pedro %A Schröder, Lutz %A Wild, Paul %D 2024 %J Math. Struct. Comput. Sci. %K dblp %N 2 %P 98-127 %T A point-free perspective on lax extensions and predicate liftings. %U http://dblp.uni-trier.de/db/journals/mscs/mscs34.html#0001HNSW24 %V 34

@article{journals/mscs/0001HNSW24, added-at = {2024-03-22T00:00:00.000+0100}, author = {Goncharov, Sergey and Hofmann, Dirk and Nora, Pedro and Schröder, Lutz and Wild, Paul}, biburl = {https://www.bibsonomy.org/bibtex/20c66369b74fe378b77a8e4c0edfc2b0b/dblp}, ee = {https://doi.org/10.1017/s096012952300035x}, interhash = {b390610b95e9ab3d34872371f443b52c}, intrahash = {0c66369b74fe378b77a8e4c0edfc2b0b}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {98-127}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {A point-free perspective on lax extensions and predicate liftings.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs34.html#0001HNSW24}, volume = 34, year = 2024 }