Mario Román
- Evidential Decision Theory via Partial Markov Categories
2023/01/30 by Elena Di Lavore, Mario Román, Di Lavore, Elena +1 · 5 citations
Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Semantic Web and Ontologies
- Profunctor Optics, a Categorical Update
2024/02/23 by Bryce Clarke, Derek Elkins, Jeremy Gibbons +4 · 5 citations
Chemistry · Engineering · Mathematics · #Geophysics and Sensor Technology #Homotopy and Cohomology in Algebraic Topology #Molecular spectroscopy and chirality
- Monoidal Streams for Dataflow Programming
2022/02/04 by Elena Di Lavore, Giovanni de Felice, Di Lavore, Elena +3 · 1 citation
Computer Science · #18M05 #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)
- Partial Markov Categories
2025/01/24 by Elena Di Lavore, Mario Román, Di Lavore, Elena +3 · 2 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge