No label defined (Q5020616)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7453165

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7453165

Statements

scholarly article

0 references

Niels Voorneveld

0 references

publication date

6 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2005.00196

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.1

0 references

MaRDI profile type

MaRDI publication profile

0 references

Metric interpretations of infinite trees and semantics of non deterministic recursive programs

0 references

Observationally-induced algebras in Domain Theory

0 references

Effectful normal form bisimulation

0 references

0 references

Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

0 references

Substitution, jumps, and algebraic effects

0 references

Quantitative Behavioural Reasoning for Higher-order Effectful Programs

0 references

Generic weakest precondition semantics from monads enriched with order

0 references

Similarity Quotients as Final Coalgebras

0 references

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular

0 references

Quantitative Algebraic Reasoning

0 references

A sound and complete logic for algebraic effects

0 references

0 references

0 references

Algebraic operations and generic effects

0 references

0 references

Introduction to Bisimulation and Coinduction

0 references

Behavioural equivalence via modalities for algebraic effects

0 references

Quantitative logics for equivalence of effectful programs

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5020616

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020616&oldid=36754730"