Buchumschlag

Computational Paths Form a Weak ω-Groupoid

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ramos, Arthur F., de Veras, Tiago M. L., de Queiroz, Ruy J. G. B., de Oliveira, Anjolina G.
Format:	Preprint
Veröffentlicht:	2025
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

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

Formalizing Computational Paths and Fundamental Groups in Lean
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
von: Ramos, Arthur, et al.
Veröffentlicht: (2025)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
von: Ramos, Arthur F., et al.
Veröffentlicht: (2026)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
von: Hulak, David B., et al.
Veröffentlicht: (2026)

The $K_\infty$ Homotopy $λ$-Model
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2025)

Solving Homotopy Domain Equations
von: Martínez-Rivillas, Daniel O., et al.
Veröffentlicht: (2021)

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

The Groupoid-Syntax of Type Theory is a Set
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2025)

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

Meaning as Use, Application, Employment, Purpose, Usefulness
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

From the Notebooks to the Investigations and Beyond
von: de Queiroz, Ruy J. G. B.
Veröffentlicht: (2025)

$ω$-Regular Energy Problems
von: Dziadek, Sven, et al.
Veröffentlicht: (2022)

Complete $ω$-Regular Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
von: Baier, Christel, et al.
Veröffentlicht: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2024)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
von: Di Guardia, Rémi, et al.
Veröffentlicht: (2026)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
von: de Jong, Tom
Veröffentlicht: (2024)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
von: Sung, Miara
Veröffentlicht: (2026)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A type theory for invertibility in weak $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2026)

The Polynomial Hierarchy and $ω$-categorical CSPs
von: Pro, Santiago Guzmán, et al.
Veröffentlicht: (2026)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)