Cover Image

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Sangiorgi, Davide
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
by: D'Angelo, Keri, et al.
Published: (2024)

First-order store and visibility in name-passing calculi
by: Hirschkoff, Daniel, et al.
Published: (2025)

Extensional and Non-extensional Functions as Processes
by: Sakayori, Ken, et al.
Published: (2024)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Minimally Comparing Relational Abstract Domains
by: Ballou, Kenny, et al.
Published: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Equational and Inductive Reasoning for Maude in Athena
by: Sanabria, Mateo, et al.
Published: (2026)

Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)

Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
by: Bronsveld, Steven, et al.
Published: (2025)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
by: Biernacka, Małgorzata, et al.
Published: (2022)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
by: Ratschan, Stefan, et al.
Published: (2026)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
by: Bozga, Marius, et al.
Published: (2023)

Proving Behavioural Apartness
by: Turkenburg, Ruben, et al.
Published: (2024)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
by: Meseguer, Jose
Published: (2024)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

The Characterization of Abstract Truth and its Factorization
by: Kent, Robert E.
Published: (2024)

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

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Identifying Minimal Changes in the Zone Abstract Domain
by: Ballou, Kenny, et al.
Published: (2023)

Constructing Witnesses for Lower Bounds on Behavioural Distances
by: Turkenburg, Ruben, et al.
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
by: de Lima, Thaynara Arielly, et al.
Published: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
by: Ahrens, Emma, et al.
Published: (2025)