Cover Image

Bialgebraic Reasoning on Higher-Order Program Equivalence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Goncharov, Sergey, Milius, Stefan, Tsampas, Stelios, Urbat, Henning
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
by: Lenke, Fabian, et al.
Published: (2026)

Intrinsically Correct Algorithms and Recursive Coalgebras
by: Alexandru, Cass, et al.
Published: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
by: Haselwarter, Philipp G., et al.
Published: (2024)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
by: Aguirre, Alejandro, et al.
Published: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Demystifying Codensity Monads via Duality
by: Lenke, Fabian, et al.
Published: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Higher-Order Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2023)

On Higher-Order Reachability Games vs May Reachability
by: Asada, Kazuyuki, et al.
Published: (2022)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
by: Haselwarter, Philipp G., et al.
Published: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
by: Timany, Amin, et al.
Published: (2021)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
by: Chen, Zhibo, et al.
Published: (2023)

Interaction Equivalence
by: Accattoli, Beniamino, et al.
Published: (2024)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
by: Haselwarter, Philipp G., et al.
Published: (2026)

Complete Local Reasoning About Parameterized Programs Over Topologies
by: Cheng, Ruotong, et al.
Published: (2026)

The Power of Negation in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2025)

Higher-Order Behavioural Conformances via Fibrations
by: Urbat, Henning
Published: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2026)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

Semantically Reflected Programs
by: Kamburjan, Eduard, et al.
Published: (2025)

Finite-Choice Logic Programming
by: Martens, Chris, et al.
Published: (2024)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

Logic Programming with Extensible Types
by: Perez, Ivan, et al.
Published: (2026)

Quantum Programming in Polylogarithmic Time
by: Ferrari, Florent, et al.
Published: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

Domain Reasoning in TopKAT
by: Zhang, Cheng, et al.
Published: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)