Publications

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.

Thesis manuscript

Current version: Bicategorical Orthogonality Constructions for Linear Logic

Contact

Email: zgalal AT kurims.kyoto-u.ac.jp
Address: Research Institute for Mathematical Sciences
Kyoto University
Kyoto 606-8502, Japan