Zeinab Galal

13 papers A* 2B 5Journal 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Monadic Intersection Types, Relationally, and Ordered.
ACM Trans. Program. Lang. Syst.
Zeinab Galal, Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 A* conf
Combining fixpoint and differentiation theory.
LICS
Zeinab Galal, Jean-Simon Pacaud Lemay
2024 J jnl
Combining fixpoint and differentiation theory.
CoRR
Zeinab Galal, Jean-Simon Pacaud Lemay
2024 B conf
On Computational Indistinguishability and Logical Relations.
APLAS
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
2024 J jnl
On Computational Indistinguishability and Logical Relations.
CoRR
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
2024 J jnl
Stabilized profunctors and stable species of structures.
Log. Methods Comput. Sci.
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2023 B conf
Fixpoint constructions in focused orthogonality models of linear logic.
MFPS
Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani
2023 A* conf
Fixpoint operators for 2-categorical structures.
LICS
Zeinab Galal
2023 J jnl
Fixpoint operators for 2-categorical structures.
CoRR
Zeinab Galal
2023 J jnl
Stabilized profunctors and stable species of structures.
CoRR
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2022 B conf
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.
FSCD
Marcelo Fiore, Zeinab Galal, Hugo Paquet
2021 B conf
A Bicategorical Model for Finite Nondeterminism.
FSCD
Zeinab Galal
2020 B conf
A Profunctorial Scott Semantics.
FSCD
Zeinab Galal