Cristina Matache
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction | 2024-12-06 | Paper |
| Denotational semantics for languages for inference: semirings, monads, and tensors | 2023-12-27 | Paper |
| scientific article; zbMATH DE number 7700630 (Why is no real title available?) (available as arXiv preprint) | 2023-06-23 | Paper |
| Programming and Proving with Classical Types Programming Languages and Systems | 2022-12-09 | Paper |
| Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction) | 2022-05-31 | Paper |
| A sound and complete logic for algebraic effects | 2020-01-28 | Paper |
| Scoped Effects as Parameterized Algebraic Theories (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Cristina Matache
