1 results
A point-free perspective on lax extensions and predicate liftings
-
- Journal:
- Mathematical Structures in Computer Science / Volume 34 / Issue 2 / February 2024
- Published online by Cambridge University Press:
- 01 December 2023, pp. 98-127
-
- Article
-
- You have access
- HTML
- Export citation