Browsing by Author Nora, Pedro
Showing results 5 to 9 of 9
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
Oct-2020 | Hausdorff coalgebras | Hofmann, Dirk; Nora, Pedro | article | |
21-Apr-2023 | Kantorovich functors and characteristic logics for behavioural distances | Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | bookPart | |
Apr-2019 | Limits in categories of Vietoris coalgebras | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
23-Dec-2023 | A point-free perspective on lax extensions and predicate liftings | Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | article | |
2023 | Quantitative Hennessy-Milner theorems via notions of density | Forster, Jonas; Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | article |