Pith. sign in

REVIEW

Universal Semantics for the Stochastic Lambda-Calculus

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2011.13171 v2 pith:DW7EBQOK submitted 2020-11-26 cs.LO

Universal Semantics for the Stochastic Lambda-Calculus

Pedro Amorim , Dexter Kozen , Radu Mardare , Prakash Panangaden , Michael Roberts This is my paper
classification cs.LO
keywords denotationaloperationalsemanticsstochasticadequacyadequateadmitapproaches
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used similar techniques to reason about higher-order probabilistic programs, but for the first time admit an adequacy theorem relating the operational and denotational views. This resolves the main issue left open in (Bacci et al. 2018).

discussion (0)

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