Daniela Petrişan

Available identifiers

zbMath Open petrisan.daniela-luanMaRDI QIDQ523131

List of research outcomes

Publication	Date of Publication	Type
Up-to techniques for behavioural metrics via fibrations	2024-03-05	Paper
Quantifiers on languages and codensity monads	2021-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5009431	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\"utzenberger product for syntactic spaces	2017-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q5357707	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5351969	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q5275352	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniela Petrişan