Zeinab Galal

According to our database, Zeinab Galal authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Stabilized profunctors and stable species of structures.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Log. Methods Comput. Sci., 2024

Combining fixpoint and differentiation theory.

Zeinab Galal, Jean-Simon Pacaud Lemay

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

On Computational Indistinguishability and Logical Relations.

Ugo Dal Lago, Zeinab Galal, Giulia Giusti

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Fixpoint constructions in focused orthogonality models of linear logic.

Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Fixpoint operators for 2-categorical structures.

Zeinab Galal

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

A Bicategorical Model for Finite Nondeterminism.

Zeinab Galal

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

A Profunctorial Scott Semantics.

Zeinab Galal

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020