scientific article; zbMATH DE number 7453165
From MaRDI portal
Publication:5020616
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2005.00196
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generic weakest precondition semantics from monads enriched with order
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Algebraic operations and generic effects
- Quantitative logics for equivalence of effectful programs
- A sound and complete logic for algebraic effects
- Behavioural equivalence via modalities for algebraic effects
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
- Observationally-induced algebras in Domain Theory
- Similarity Quotients as Final Coalgebras
- Introduction to Bisimulation and Coinduction
- Substitution, jumps, and algebraic effects
- Quantitative Algebraic Reasoning
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Quantitative Behavioural Reasoning for Higher-order Effectful Programs
- Effectful normal form bisimulation
This page was built for publication:
