This implies that there are d1, d2 such that d = d1 + d2 + δ⊥ c,c′ and ⟨Γ ′ 1, L′⟩ ≤ + d1 ⟨Γ1, L⟩ and Interaction Improvement 43 M′ ≤− d2 M

∈JuK with ⟨Γ ′ 1, M′ c′ − →L′⟩ ≤ + d ⟨Γ1, M c − →L⟩, k1 ≥k ′ 1 + d

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.LO · 2026-01-04 · unverdicted · novelty 7.0

Relational semantics refines the contextual preorder on lambda terms by constraining interaction counts through a checkers-calculus interpretation.

Showing 1 of 1 citing paper.

Interaction Improvement cs.LO · 2026-01-04 · unverdicted · none · ref 57
Relational semantics refines the contextual preorder on lambda terms by constraining interaction counts through a checkers-calculus interpretation.