:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Calk, Cameron, Malbos, Philippe, Pous, Damien, Struth, Georg
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science 18A05, 18F75, 06F07, 18N30, 68Q42, 68V15
Online Access:	https://arxiv.org/abs/2307.09253
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
by: Benjamin, Thibaut, et al.
Published: (2025)

Polygraphic resolutions for operated algebras
by: Liu, Zuan, et al.
Published: (2025)

Interacting Monoidal Structures with Applications in Computing
by: Cranch, James, et al.
Published: (2024)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

Presheaf automata
by: Struth, Georg, et al.
Published: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)

A Functorial Formulation of Neighborhood Aggregating Deep Learning
by: Park, Sun Woo, et al.
Published: (2026)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
by: Klouda, Karel, et al.
Published: (2021)

Languages of Words of Low Automatic Complexity Are Hard to Compute
by: Chen, Joey, et al.
Published: (2025)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

Lambek pregroups are Frobenius spiders in preorders
by: Pavlovic, Dusko
Published: (2021)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Categories of quantum cpos
by: Kornell, Andre, et al.
Published: (2024)

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
by: Nakano, Keisuke, et al.
Published: (2024)

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
by: Inoué, Takao
Published: (2026)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
by: Ramos, Arthur F., et al.
Published: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

Categorical Diffusion of Weighted Lattices
by: Ghrist, Robert, et al.
Published: (2025)

Multi-Fidelity Physics-Informed Neural Networks with Bayesian Uncertainty Quantification and Adaptive Residual Learning for Efficient Solution of Parametric Partial Differential Equations
by: Imanov, Olaf Yunus Laitinen
Published: (2026)

Unified Geometric, Fuzzy, and Computational Framework for Ternary Gamma Semirings
by: Gokavarapu, Chandrasekhar, et al.
Published: (2025)

Odd Khovanov homology, higher representation theory and higher rewriting theory
by: Schelstraete, Léo
Published: (2024)

Rewriting modulo in diagrammatic algebras and application to categorification
by: Schelstraete, Léo
Published: (2025)

Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design
by: Riess, Hans, et al.
Published: (2026)

Involutive quantales and quantale-enriched involutive topological spaces
by: García, Javier Gutiérrez, et al.
Published: (2025)