Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
F
Francesco Gavazzo
University of Padua
9
H-index
43
Paper Count
241
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Monadic Intersection Types, Relationally, and Ordered
ACM Transactions on Programming Languages and Systems
IF
1.6
2025-12-01
0
PRE
AI
Galal, Zeinab; Gavazzo, Francesco; Treglia, Riccardo; Vanoni, Gabriele
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
G
Gabriele Vanoni
H-index: 4 · Papers: 28
R
Riccardo Treglia
H-index: 4 · Papers: 18
Z
Zeinab Galal
H-index: 1 · Papers: 3
All loaded
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}