Francesco Dagnino
- Fair Termination of Multiparty Sessions
2022/05/18 by Luca Ciccone, Ciccone, Luca, Francesco Dagnino +3 · 2 citations
Business, Management and Accounting · #Dispute Resolution and Class Actions #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Free constructions for comprehension categories
2026/07/29 by Francesco Dagnino, Jacopo Emmenegger, Andrea Giusto
Computer Science · Mathematics · #cs.LO #math.CT
- Projective covers, doctrines of algebras and the relational quotient completion
2026/08/03 by Francesco Dagnino, Fabio Pasquali
Mathematics · #math.CT