Cristina Matache

Available identifiers

zbMath Open matache.cristinaMaRDI QIDQ2289089

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q6159941	2023-06-23	Paper
Programming and Proving with Classical Types	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	N/A	Paper

Research outcomes over time

This page was built for person: Cristina Matache