Zeinab Galal

I am currently a postdoc at the University of Bologna working with Ugo Dal Lago.

Publications

Combining fixpoint and differentiation theory.: With Jean-Simon Pacaud Lemay. In Proceedings of the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024).
Stabilized profunctors and stable species of structures.: With Marcelo Fiore and Hugo Paquet. Logical Methods in Computer Science, Volume 20, Issue 1, February 29, 2024.
Fixpoint constructions in focused orthogonality models of linear logic.: With Marcelo Fiore and Farzad Jafarrahmani. In Proceedings of the 39th Conference on Mathematical Foundations of Programming Semantics (MFPS 2023).
Fixpoint operators for 2-categorical structures.: In Proceedings of the Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023).
A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.: With Marcelo Fiore and Hugo Paquet. In Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022).
A Bicategorical Model for Finite Nondeterminism.: In Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).
A Profunctorial Scott Semantics.: In Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
Ilyashenko algebras based on transserial asymptotic expansions.: With Tobias Kaiser and Patrick Speissegger. Advances in Mathematics. Volume 367, 24 June 2020.