Cristina Matache
From MaRDI portal
Person:2289089
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
