Takip et
Mario Román
Mario Román
University of Oxford
cs.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Profunctor Optics, a Categorical Update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6 (1), 2020
56*2020
Open Diagrams via Coend Calculus
M Román
Proceedings of the 3rd Annual International Applied Category Theory …, 2020
332020
Monoidal Streams for Dataflow Programming
E Di Lavore, G de Felice, M Román
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
262022
Evidential Decision theory via Partial Markov Categories
E Di Lavore, M Román
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
222023
Comb Diagrams for Discrete-Time Feedback
M Román
arXiv preprint arXiv:2003.06214, 2020
182020
A Canonical Algebra of Open Transition Systems
E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński
International Conference on Formal Aspects of Component Software, 63-81, 2021
172021
Profunctor optics and traversals
M Román
MSc Thesis, University of Oxford, 2020
162020
Promonads and String Diagrams for Effectful Categories
M Román
Applied Category Theory 2022, 2022
152022
The Produoidal Algebra of Process Decomposition
M Earnshaw, J Hefford, M Román
Computer Science Logic 2024, 2023
132023
Monoidal context theory
M Román
arXiv preprint arXiv:2404.06192, 2024
102024
Cornering optics
G Boisseau, C Nester, M Román
Applied Category Theory 2022, 2022
82022
Collages of string diagrams
D Braithwaite, M Román
arXiv preprint arXiv:2305.02675, 2023
62023
Span (Graph): a canonical feedback algebra of open transition systems
E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński
Software and Systems Modeling 22 (2), 495-520, 2023
62023
Ranking programming languages for evolutionary algorithm operations
JJ Merelo-Guervós, I Blancas-Álvarez, PA Castillo, G Romero, ...
Applications of Evolutionary Computation: 20th European Conference …, 2017
52017
Coinductive streams in monoidal categories
E Di Lavore, G de Felice, M Román
arXiv preprint arXiv:2212.14494, 2022
42022
Presentations of Premonoidal Categories by Devices
M Earnshaw, C Nester, M Román
Extended Abstract. Presented at NWPT 2023, 14, 2023
22023
Profunctor optics, a categorical update (extended abstract)
M Román, B Clarke, D Elkins, J Gibbons, B Milewski, F Loregian, ...
NWPT 2019, 3, 2019
2*2019
Context-free languages of string diagrams
M Earnshaw, M Román
arXiv preprint arXiv:2404.10653, 2024
12024
Effectful Trace Semantics via Effectful Streams
F Bonchi, E Di Lavore, M Román
Preprint, 2024
12024
String Diagrams for Premonoidal Categories
M Román, P Sobociński
arXiv preprint arXiv:2305.06075, 2023
12023
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20