Copertina

Layered Monoidal Theories I: Diagrammatic Algebra and Applications

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lobski, Leo, Zanasi, Fabio
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science 18M30 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Layered Monoidal Theories II: Fibrational Semantics
di: Lobski, Leo, et al.
Pubblicazione: (2026)

Layered Monoidal Theories
di: Lobski, Leo
Pubblicazione: (2025)

Disconnection Rules are Complete for Chemical Reactions
di: Gale, Ella, et al.
Pubblicazione: (2024)

Two-Level Type Theory and Applications
di: Annenkov, Danil, et al.
Pubblicazione: (2017)

Machine-Checked Categorical Diagrammatic Reasoning
di: Guillemet, Benoît, et al.
Pubblicazione: (2024)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
di: Laretto, Andrea, et al.
Pubblicazione: (2024)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
di: Schmoetten, Richard, et al.
Pubblicazione: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

From Copying to Corelations via Ancestry Partitions
di: Santacana, Andreu Ballus
Pubblicazione: (2025)

On a fibrational construction for optics, lenses, and Dialectica categories
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Sensible Intersection Type Theories
di: Dezani-Ciancaglini, Mariangiola, et al.
Pubblicazione: (2026)

The Latent Space of Equational Theories
di: Berlioz, Luis, et al.
Pubblicazione: (2026)

Type Theory with Single Substitutions
di: Kaposi, Ambrus, et al.
Pubblicazione: (2025)

Learning Closed Signal Flow Graphs
di: Piotrovskaya, Ekaterina, et al.
Pubblicazione: (2024)

Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Satisfiability in Łukasiewicz logic and its unbounded relative
di: Haniková, Zuzana, et al.
Pubblicazione: (2025)

Semi-Substructural Logics à la Lambek
di: Wan, Cheng-Syuan
Pubblicazione: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
di: Becker, Justus
Pubblicazione: (2025)

A Topological Rewriting of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Logic of Sets with Atoms
di: Masters, Jake
Pubblicazione: (2025)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
di: Perháč, Ján, et al.
Pubblicazione: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

Left-Linear Rewriting in Adhesive Categories
di: Baldan, Paolo, et al.
Pubblicazione: (2024)

Satisfiability for Knowing How over Linear Plans is NP-complete
di: Areces, Carlos, et al.
Pubblicazione: (2026)

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar
di: Binder, Sage, et al.
Pubblicazione: (2026)

Polymorphism Meets DHOL
di: Ranalter, Rhea, et al.
Pubblicazione: (2026)

Two Remarks about Game Semantics of Classical Logic
di: Coquand, Thierry
Pubblicazione: (2026)

Computation and Size of Interpolants for Hybrid Modal Logics
di: Jung, Jean Christoph, et al.
Pubblicazione: (2026)

The Guarded Fragment with Nested Equivalences
di: Fiuk, Oskar
Pubblicazione: (2026)

Uniform Realizability Interpretations
di: Berger, Ulrich, et al.
Pubblicazione: (2026)

Extracting Policies from Quantified Answer Set Programs
di: Diéguez, Martín, et al.
Pubblicazione: (2026)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
di: Nederpelt, Rob, et al.
Pubblicazione: (2026)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
di: Coquand, Thierry
Pubblicazione: (2026)

CoLF Logic Programming as Infinitary Proof Exploration
di: Chen, Zhibo, et al.
Pubblicazione: (2025)