Cover Image

Unraveling the iterative CHAD

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nunes, Fernando Lucatelli, Plotkin, Gordon, Vákár, Matthijs
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Artificial Intelligence Machine Learning Category Theory Logic 18C10, 18C15, 18C20, 18D05, 03B70, 03F52, 68Q55, 68N18, 68T07 F.3.2; F.3.3; D.3.1; D.3.2; D.2.4; G.4; I.2.3; I.2.6; G.1.10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

Internalizing Tools as Morphisms in Graded Transformers
by: Shaska, Tony
Published: (2025)

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

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
by: Alpay, Faruk
Published: (2025)

Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

A Categorical Framework for Program Semantics and Semantic Abstraction
by: Katsumata, Shin-ya, et al.
Published: (2023)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

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

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
by: Alpay, Faruk
Published: (2025)

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
by: Jacobs, Bart
Published: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

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

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
by: Tang, Jian-Gang
Published: (2025)

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

Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
by: Alpay, Faruk, et al.
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

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

Plantinga-Vegter algorithm takes average polynomial time
by: Cucker, Felipe, et al.
Published: (2019)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
by: Kilictas, Bugra, et al.
Published: (2025)

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
by: Kilictas, Bugra, et al.
Published: (2025)

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)

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

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

On the computational complexity of Data Flow Analysis
by: Sood, Gaurav, et al.
Published: (2013)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
by: Bettscheider, Leon, et al.
Published: (2025)

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Free inverse monoids are co-context-free
by: Brough, Tara Macalister, et al.
Published: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

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