A point-free perspective on lax extensions and predicate liftings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Sergey Goncharov 0001' in GoogleThis author has not been identified. Look up 'Dirk Hofmann' in GoogleThis author has not been identified. Look up 'Pedro Nora' in GoogleThis author has not been identified. Look up 'Lutz Schröder' in GoogleThis author has not been identified. Look up 'Paul Wild' in Google

runs on WebDSL