:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Calk, Cameron, Malbos, Philippe, Pous, Damien, Struth, Georg
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science 18A05, 18F75, 06F07, 18N30, 68Q42, 68V15
Accesso online:	https://arxiv.org/abs/2307.09253
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Polygraphic resolutions for operated algebras
di: Liu, Zuan, et al.
Pubblicazione: (2025)

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

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

Presheaf automata
di: Struth, Georg, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

Lambek pregroups are Frobenius spiders in preorders
di: Pavlovic, Dusko
Pubblicazione: (2021)

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

A Classifying Topos for the Spectrum of Equivalences
di: Oggad, Kenan
Pubblicazione: (2026)

Unraveling the iterative CHAD
di: Nunes, Fernando Lucatelli, et al.
Pubblicazione: (2025)

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

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

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

Categories of quantum cpos
di: Kornell, Andre, et al.
Pubblicazione: (2024)

foetus -- Termination Checker for Simple Functional Programs
di: Abel, Andreas
Pubblicazione: (2024)

Rewriting Systems on Arbitrary Monoids
di: Magalhães, Eduardo
Pubblicazione: (2026)

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

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

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

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

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

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

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

Categorical Diffusion of Weighted Lattices
di: Ghrist, Robert, et al.
Pubblicazione: (2025)

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

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

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

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

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

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