negligibility space

Last updated Feb 22, 2025

• Interpreting Lambda Calculus in Domain-Valued Random Variables (Furber, Mardare, Panangaden, Scott, 2022)