Cover Image

Big Steps in Higher-Order Mathematical Operational Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Goncharov, Sergey, Partow, Pouya, Tsampas, Stelios
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

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

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

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

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

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
by: Goncharov, Sergey
Published: (2024)

A Unifying Categorical View of Nondeterministic Iteration and Tests
by: Goncharov, Sergey, et al.
Published: (2024)

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

Probabilistic Strategies: Definability and the Tensor Completeness Problem
by: Bowler, Nathan, et al.
Published: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Relators and Notions of Simulation Revisited
by: Goncharov, Sergey, et al.
Published: (2025)

The Only Distributive Law Over the Powerset Monad Is the One You Know
by: Goncharov, Sergey, et al.
Published: (2026)

Hammering Higher Order Set Theory
by: Brown, Chad E., et al.
Published: (2025)

SAT-Inspired Higher-Order Eliminations
by: Blanchette, Jasmin, et al.
Published: (2022)

Kuroda's Translation for Higher-Order Logic
by: Traversié, Thomas
Published: (2024)

Unifying Semantic Path Order and Weighted Path Order
by: Saito, Teppei, et al.
Published: (2026)

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

Syntactic Effectful Realizability in Higher-Order Logic
by: Cohen, Liron, et al.
Published: (2025)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2025)

Limited Math: Aligning Mathematical Semantics with Finite Computation
by: Wen, Lian
Published: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
by: Avanzini, Martin, et al.
Published: (2025)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
by: Guo, Liye, et al.
Published: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
by: Kudasov, Nikolai
Published: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
by: Rahnama, Moses
Published: (2026)

Structural Operational Semantics for True Concurrency
by: Wang, Yong
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
by: Kammüller, Florian
Published: (2023)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
by: Kura, Satoshi
Published: (2023)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

Identity-Preserving Lax Extensions and Where to Find Them
by: Goncharov, Sergey, et al.
Published: (2024)

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

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
by: Niederhauser, Johannes, et al.
Published: (2024)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)