scientific article; zbMATH DE number 7453165

MaRDI QIDQ5020616zbMATH OpenFDO

Authors Niels Voorneveld

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/2005.00196, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.1

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Instances of computational effects: an algebraic perspective
• Equational derivation vs. computation
• Relating computational effects by \(\top \top \)-lifting
• Relating Computational Effects by ⊤ ⊤-Lifting
• scientific article; zbMATH DE number 7633806
• scientific article; zbMATH DE number 1869994
• scientific article; zbMATH DE number 817189
• On the efficiency of the computations for approximating the solutions of equations
• Defining effectiveness using finite sets. A study on computability
• Characterizing Computable Analysis with Differential Equations

Cites work

• A sound and complete logic for algebraic effects
• Algebraic operations and generic effects
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• Behavioural equivalence via modalities for algebraic effects
• Computational effects and operations: an overview
• Effectful applicative bisimilarity: monads, relators, and Howe's method
• Effectful normal form bisimulation
• Generic weakest precondition semantics from monads enriched with order
• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Observationally-induced algebras in domain theory
• Quantitative Algebraic Reasoning
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Quantitative logics for equivalence of effectful programs
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• Similarity quotients as final coalgebras
• Substitution, jumps, and algebraic effects

Cited in

(4)

• Quantitative logics for equivalence of effectful programs
• Combining algebraic effect descriptions using the tensor of complete lattices
• A sound and complete logic for algebraic effects
• Relating Computational Effects by ⊤ ⊤-Lifting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020616)