Zeinab Galal

According to our database, Zeinab Galal authored at least 6 papers between 2020 and 2023.

Collaborative distances:

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

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

Stabilized profunctors and stable species of structures.

Marcelo Fiore, Zeinab Galal, Hugo Paquet

CoRR, 2023

Fixpoint operators for 2-categorical structures.

Zeinab Galal

LICS, 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