Probabilistic Böhm Trees and Probabilistic Separation (Q5145341)
From MaRDI portal
scientific article; zbMATH DE number 7298790
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic Böhm Trees and Probabilistic Separation |
scientific article; zbMATH DE number 7298790 |
Statements
Probabilistic Böhm Trees and Probabilistic Separation (English)
0 references
20 January 2021
0 references
Böhm trees
0 references
observational equivalence
0 references
probabilistic lambda-calculus
0 references
separation
0 references
