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, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: 26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, VOLUME: 13992
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: 26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, VOLUME: 13992
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
DBLP arXiv