combinatory logic 1modal lambda calculus 1semantic conservation 1simply-typed lambda calculus 1type theory 1
From the 1 of 3 papers with an AI index.
1 citations
3 papers
cs.CV2026
Cloak of Invisibility: Real-Time Privacy-Preserving Volumetric Video Streaming
Hossein Khalili, Philip Do, Alexander Vilesov +3
Volumetric video streaming turns privacy into a 3D, multi-view problem. Unlike ordinary video, where sensitive content can often be redacted frame by frame, RGB-D volumetric pipeli…
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…
hep-th2026
Universal Closed Form for Dynamical Love Numbers of Black Holes
Mikhail P. Solon
Black hole static Love numbers vanish, but their dynamical counterparts do not. We present the scheme-independent dynamical response of a Schwarzschild black hol…