Zeinab Galal

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

Publications

Fixpoint constructions in focused orthogonality models of linear logic.: With Marcelo Fiore and Farzad Jafarrahmani. Accepted at the 39th Conference on Mathematical Foundations of Programming Semantics (MFPS 2023).
Fixpoint operators for 2-categorical structures.: Accepted at 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.