Inductive and coinductive predicate liftings for effectful programs
type: Item
instance of: scholarly article
title: Inductive and coinductive predicate liftings for effectful programs
author: Niccolò Veltri
author: Niels Voorneveld
publication date: 2024-12-17T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7959056
MaRDI profile type: Publication
cites work: Containers: Constructing strictly positive types
cites work: Copatterns
cites work: Partiality, Revisited
cites work: Some Domain Theory and Denotational Semantics in Coq
cites work: General Recursion via Coinductive Types
cites work: Quotienting the delay monad by weak bisimilarity
cites work: Generic weakest precondition semantics from monads enriched with order
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Q5144664
cites work: Coinductive big-step operational semantics
cites work: Similarity Quotients as Final Coalgebras
cites work: Modelling environments in call-by-value programming languages.
cites work: A sound and complete logic for algebraic effects
cites work: Notions of computation and monads
cites work: A model of PCF in guarded type theory
cites work: Q4813228
cites work: LCF considered as a programming language
cites work: Q2771052
cites work: Handling algebraic effects
DOI: 10.4204/EPTCS.351.16
description: scientific article; zbMATH DE number 7959056