Pedro Miguel Teixeira Olhero Pessoa Nora
AuthID: R-00H-XW6
1
TITLE: Duality theory for enriched Priestley spaces Full Text
AUTHORS: Hofmann, Dirk ; Nora, Pedro;
PUBLISHED: 2023, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 227, ISSUE: 3
AUTHORS: Hofmann, Dirk ; Nora, Pedro;
PUBLISHED: 2023, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 227, ISSUE: 3
2
TITLE: Kantorovich Functors and Characteristic Logics for Behavioural Distances
AUTHORS: Goncharov, S; Hofmann, D ; Nora, P; Schröder, L; Wild, P;
PUBLISHED: 2023, SOURCE: 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13992 LNCS
AUTHORS: Goncharov, S; Hofmann, D ; Nora, P; Schröder, L; Wild, P;
PUBLISHED: 2023, SOURCE: 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13992 LNCS
3
TITLE: A point-free perspective on lax extensions and predicate liftings
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
4
TITLE: Hausdorff Coalgebras Full Text
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2020, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, ISSUE: 5
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2020, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, ISSUE: 5
5
TITLE: Limits in Categories of Vietoris Coalgebras PDF
AUTHORS: Dirk Hofmann; Renato Neves; Pedro Nora;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1612.03318
AUTHORS: Dirk Hofmann; Renato Neves; Pedro Nora;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1612.03318
INDEXED IN: DBLP arXiv