works on
combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1

From the 1 of 4 linked papers with an AI index.

activity
20242026
most citedSimply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026★ 1 cited

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic

Sean Walsh

The paper introduces a simply‑typed modal lambda calculus (λ_θ) that extends Montague and Gallin’s system with a configurable parameter for state types, and develops its metatheory…