2 papers
cs.PL2026
Multicategorical Semantics for Untyped Effects
Ariel Grunfeld, Liron Cohen
Completeness proofs in categorical semantics usually proceed by building a syntactic category whose composition is given by substitution. For untyped effectful Call-by-Value langua…
cs.LO2026
Evidence-Tracked Tape Semantics for Probabilistic Computation
Liron Cohen, Tomer Samara
A standard intensional account of probabilistic computation represents a randomized program as a deterministic computation that consumes an explicit random tape. This yields a two-…