Mario Román
Scholar

Mario Román

Google Scholar ID: FarNoPMAAAAJ
University of Oxford
Category theoryFunctional programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
309
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
13
list available
Contact
Emailmromang08@gmail.comCVOpen ↗GitHubOpen ↗
Publications
7 items
Monoidal categories graded by partial commutative monoids
2026
Cited
0
Order in Partial Markov Categories
2025
Cited
0
Resourceful Traces for Commuting Processes
2025
Cited
0
Program Logics via Distributive Monoidal Categories
2025
Cited
0
Partial Markov Categories
arXiv.org · 2025
Cited
1
Effectful Mealy Machines: Bisimulation and Trace
arXiv.org · 2024
Cited
0
A Simple Formal Language for Probabilistic Decision Problems
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
13 total
Elena Di Lavore
Elena Di Lavore
University of Pisa
Pawel Sobocinski
Pawel Sobocinski
Tallinn University of Technology #TalTechSoftSci
Co-author 3
Co-author 3
Jeremy Gibbons
Jeremy Gibbons
Professor of Computing, University of Oxford
Fosco Loregian
Fosco Loregian
Tallinna Tehnikaülikooli Küberneetika Instituut
Bartosz Milewski
Bartosz Milewski
Programming Cafe
Matt Earnshaw
Matt Earnshaw
University of Tartu
Bryce Clarke
Bryce Clarke
Tallinn University of Technology