11 search results - page 3 / 3 » Continuity and Discontinuity in Lambda Calculus |
ICALP
2005
Springer
14 years 26 days ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...