Daniela Petrişan

Available identifiers

zbMath Open petrisan.daniela-luanMaRDI QIDQ523131

List of research outcomes

Publication	Date of Publication	Type
Semialgebras and weak distributive laws	2024-12-17	Paper
Up-to techniques for behavioural metrics via fibrations	2024-03-05	Paper
Quantifiers on languages and codensity monads	2021-08-16	Paper
Up-to techniques for behavioural metrics via fibrations	2021-08-04	Paper
Semialgebras and Weak Distributive Laws	2021-06-25	Paper
Combining probabilistic and non-deterministic choice via weak distributive laws	2021-01-21	Paper
Quantifiers on languages and codensity monads	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5111267	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5109522	2020-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4580203	2018-08-13	Paper
Coinduction up-to in a fibrational setting	2018-04-23	Paper
The Schützenberger product for syntactic spaces	2017-12-19	Paper
Lax bialgebras and up-to techniques for weak bisimulations	2017-09-12	Paper
Leaving the nest: nominal techniques for variables with interleaving scopes	2017-08-31	Paper
Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes	2017-07-11	Paper
A general account of coinduction up-to	2017-04-20	Paper
Nominal Kleene coalgebra	2015-11-04	Paper
Functorial coalgebraic logic: the case of many-sorted varieties	2014-01-24	Paper
Nominal coalgebraic data types with applications to lambda calculus	2014-01-08	Paper
Relation lifting, with an application to the many-valued cover modality	2013-10-29	Paper
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus	2012-09-20	Paper
A Duality Theorem for Real C * Algebras	2012-06-01	Paper
Relation liftings on preorders and posets	2011-09-02	Paper
Stone Duality for Nominal Boolean Algebras with И	2011-09-02	Paper
Presenting functors on many-sorted varieties and applications	2011-01-14	Paper
On universal algebra over nominal sets	2010-05-17	Paper

Research outcomes over time

This page was built for person: Daniela Petrişan