Zeinab Galal

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. Log. Methods Comput. Sci. 20 (1) (2024)
Zeinab Galal, Jean-Simon Pacaud Lemay
Combining fixpoint and differentiation theory. CoRR (2024)
Zeinab Galal, Jean-Simon Pacaud Lemay
Combining fixpoint and differentiation theory. LICS (2024)
Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani
Fixpoint constructions in focused orthogonality models of linear logic. CoRR (2023)
Zeinab Galal
Fixpoint operators for 2-categorical structures. LICS (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
Stabilized profunctors and stable species of structures. CoRR (2023)
Zeinab Galal
Fixpoint operators for 2-categorical structures. CoRR (2023)
Marcelo Fiore, Zeinab Galal, Hugo Paquet
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. FSCD (2022)
Zeinab Galal
A Bicategorical Model for Finite Nondeterminism. FSCD (2021)
Zeinab Galal
A Profunctorial Scott Semantics. FSCD (2020)