TY  - RPRT
TI  - Interpreting Lambda Calculus in Domain-Valued Random Variables
AU  - Robert Furber
AU  - Radu Mardare
AU  - Prakash Panangaden
AU  - Dana Scott
PY  - 2026
UR  - https://arxiv.org/abs/2112.06339
ID  - 2112.06339
ER  -