Zeinab Galal

I am currently a researcher at the Research Institute for Mathematical Sciences (RIMS), Kyoto University.

Publications

Monadic Intersection Types, Relationally and Ordered.: With Francesco Gavazzo, Riccardo Treglia and Gabriele Vanoni. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 47, Issue 4, 2025.
On Computational Indistinguishability and Logical Relations.: With Ugo Dal Lago and Giulia Giusti. In Proceedings of the 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024).
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.

Zeinab Galal

Publications

Thesis manuscript

Contact