logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
Z

Zeinab Galal

kyoto university

1H-index
3Paper Count
8Citation Count
Published Papers 1
Publication Date
logo
Monadic Intersection Types, Relationally, and Ordered
errACM Transactions on Programming Languages and Systems
IF1.6
err2025-12-01
err0
PREAI
errGalal, Zeinab; Gavazzo, Francesco; Treglia, Riccardo; Vanoni, Gabriele
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
F
Francesco Gavazzo
H-index: 9 · Papers: 43
G
Gabriele Vanoni
H-index: 4 · Papers: 28
R
Riccardo Treglia
H-index: 4 · Papers: 18
All loaded