pith. machine review for the scientific record. sign in

arxiv: 2505.07103 · v3 · submitted 2025-05-11 · 💻 cs.LO

Recognition: unknown

The K_infty Homotopy λ-Model

Daniel O. Mart\'inez-Rivillas , Ruy J.G.B. de Queiroz
Authors on Pith no claims yet
classification 💻 cs.LO
keywords inftycompleteconversionslambdaorderedbetacomplexdana
0
0 comments X
read the original abstract

We extend the complete ordered set Dana Scott's $D_\infty$ to a complete weakly ordered Kan complex $K_\infty$, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of $\beta\eta$-conversions of $\lambda$-terms.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model

    cs.LO 2026-04 conditional novelty 6.0 full

    A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean...