Meta tags:

Headings (most frequently used words):

zeinab, galal, publications, thesis, manuscript, contact,

Text of the page (most frequently used words):
and (16), for (10), the (9), with (8), proceedings (8), conference (5), structures (5), kyoto (4), logic (4), international (4), mathematical (3), volume (3), formal (3), computation (3), deduction (3), fscd (3), marcelo (3), fiore (3), acm (3), symposium (3), computer (3), science (3), fixpoint (3), programming (3), 2024 (3), research (2), institute (2), sciences (2), university (2), bicategorical (2), orthogonality (2), constructions (2), linear (2), 2020 (2), semantics (2), hugo (2), paquet (2), functors (2), thirty (2), annual (2), ieee (2), lics (2), 2023 (2), logical (2), issue (2), theory (2), ugo (2), dal (2), lago (2), languages (2), systems (2), zeinab (2), galal (2), zgalal, kurims, 606, 8502, japan, address, email, contact, current, version, thesis, manuscript, tobias, kaiser, patrick, speissegger, advances, mathematics, 367, june, ilyashenko, algebras, based, transserial, asymptotic, expansions, 5th, profunctorial, scott, 6th, 2021, model, finite, nondeterminism, 7th, 2022, combinatorial, approach, higher, order, structure, polynomial, eighth, operators, categorical, farzad, jafarrahmani, 39th, foundations, mfps, focused, models, methods, february, stabilized, profunctors, stable, species, jean, simon, pacaud, lemay, ninth, combining, differentiation, giulia, giusti, 22nd, asian, aplas, computational, indistinguishability, relations, francesco, gavazzo, riccardo, treglia, gabriele, vanoni, transactions, toplas, 2025, monadic, intersection, types, relationally, ordered, 37th, concurrency, concur, 2026, coinductive, reasoning, parametrized, monads, publications, currently, researcher, rims,

Text of the page (random words):
zeinab galal zeinab galal i am currently a researcher at the research institute for mathematical sciences rims kyoto university publications coinductive reasoning for parametrized functors and monads with ugo dal lago in proceedings of the 37th international conference on concurrency theory concur 2026 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 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