Abstract
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. We develop the Boolean-valued set theory needed from scratch and then develop Boolean-valued domain theory on top of that. The notions of equality and partial order have to be given Boolean-valued interpretations; when we say that an equation is valid in the model we mean that its interpretation is the top element of the Boolean algebra.
| Original language | English |
|---|---|
| Title of host publication | 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) |
| Editors | Stefano Guerrini, Barbara Konig |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| ISBN (Electronic) | 9783959774116 |
| DOIs | |
| Publication status | Published - 18 Feb 2026 |
| Event | 34th EACSL Annual Conference on Computer Science Logic 2026 / 14th Logic Mentoring Workshop 2026 - Paris, France Duration: 23 Feb 2026 → 27 Feb 2026 https://csl2026.github.io/ |
Publication series
| Name | Leibniz International Proceedings in Informatics |
|---|---|
| Volume | 363 |
| ISSN (Print) | 1868-8969 |
Conference
| Conference | 34th EACSL Annual Conference on Computer Science Logic 2026 / 14th Logic Mentoring Workshop 2026 |
|---|---|
| Abbreviated title | CSL 2026 |
| Country/Territory | France |
| City | Paris |
| Period | 23/02/26 → 27/02/26 |
| Internet address |
Keywords
- domain theory
- lambda calculus
- random variables
ASJC Scopus subject areas
- Software
Fingerprint
Dive into the research topics of 'Interpreting Lambda Calculus in Domain-Valued Random Variables'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver