The following pages link to Daniela Petrişan (Q523131):
Displaying 26 items.
- A general account of coinduction up-to (Q523132) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Relation lifting, with an application to the many-valued cover modality (Q2856480) (← links)
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus (Q2871472) (← links)
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties (Q2873668) (← links)
- A Duality Theorem for Real C * Algebras (Q2888494) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- Relation Liftings on Preorders and Posets (Q3090865) (← links)
- Stone Duality for Nominal Boolean Algebras with И (Q3090869) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- On universal algebra over nominal sets (Q3559973) (← links)
- (Q4580203) (← links)
- The Sch\"utzenberger product for syntactic spaces (Q4598253) (← links)
- Coinduction up-to in a fibrational setting (Q4635603) (← links)
- Quantifiers on languages and codensity monads (Q5006459) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5109522) (← links)
- (Q5111267) (← links)
- Quantifiers on languages and codensity monads (Q5144687) (← links)
- Combining probabilistic and non-deterministic choice via weak distributive laws (Q5145654) (← links)
- (Q5275352) (← links)
- Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (Q5351969) (← links)
- Lax Bialgebras and Up-To Techniques for Weak Bisimulations (Q5357707) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Semialgebras and weak distributive laws (Q6653759) (← links)
- Correspondences between codensity and coupling-based liftings, a practical approach (Q6754077) (← links)
