A point-free perspective on lax extensions and predicate liftings (bibtex)

by Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild

Reference:

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: A point-free perspective on lax extensions and predicate liftings, In Mathematical Structures in Computer Science, 34(2), pp. 98–127, 2024.

Bibtex Entry:

@article{GoncharovEA24,
  author     = {Goncharov, Sergey and
                Hofmann, Dirk and
                Nora, Pedro and
                Schr{\"{o}}der, Lutz and
                Wild, Paul},
  title      = {A point-free perspective on lax extensions and predicate liftings},
  volume     = {34},
  DOI        = {10.1017/S096012952300035X},
  number     = {2},
  journal    = {Mathematical Structures in Computer Science},
  year       = {2024},
  pages      = {98–127}
}