Buchumschlag

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lenke, Fabian, Milius, Stefan, Urbat, Henning
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Demystifying Codensity Monads via Duality
von: Lenke, Fabian, et al.
Veröffentlicht: (2025)

Algebraic Reasoning over Relational Structures
von: Jurka, Jan, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Testing for Renamability to Classes of Clause Sets
von: Brandl, Albert, et al.
Veröffentlicht: (2025)

Nominal Topology for Data Languages
von: Birkmann, Fabian, et al.
Veröffentlicht: (2023)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

Extended Stone Duality via Monoidal Adjunctions
von: Lenke, Fabian, et al.
Veröffentlicht: (2024)

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

Nominal Sets in Rocq
von: Paranhos, Fabrício Sanches, et al.
Veröffentlicht: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2024)

Intrinsically Correct Algorithms and Recursive Coalgebras
von: Alexandru, Cass, et al.
Veröffentlicht: (2025)

Abstract Operational Methods for Call-by-Push-Value
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Algebraic Language Theory with Effects
von: Lenke, Fabian, et al.
Veröffentlicht: (2024)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

Nominal anti-unification
von: Baumgartner, Alexander, et al.
Veröffentlicht: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Rule Formats for Nominal Process Calculi
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Efficient Coalgebraic Partition Refinement
von: Dorsch, Ulrich, et al.
Veröffentlicht: (2017)

Nominal Type Theory by Nullary Internal Parametricity
von: Van Muylder, Antoine, et al.
Veröffentlicht: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2024)

Logic of Sets with Atoms
von: Masters, Jake
Veröffentlicht: (2025)

Nominal Equational Rewriting and Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)

Streamliners for Answer Set Programming
von: Voboril, Florentina, et al.
Veröffentlicht: (2026)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
von: Fernández, Maribel, et al.
Veröffentlicht: (2025)

A Categorical Foundation of Rough Sets
von: Kakutani, Yoshihiko
Veröffentlicht: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
von: Atserias, Albert, et al.
Veröffentlicht: (2024)

Are Dependent Types in Set Theory Feasible?
von: Yang, Yunsong, et al.
Veröffentlicht: (2026)

Hammering Higher Order Set Theory
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

A Nominal Approach to Probabilistic Separation Logic
von: Li, John M., et al.
Veröffentlicht: (2024)