On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Q5410701)
From MaRDI portal
scientific article; zbMATH DE number 6286387
Language | Label | Description | Also known as |
---|---|---|---|
English | On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi |
scientific article; zbMATH DE number 6286387 |
Statements
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (English)
0 references
16 April 2014
0 references
lambda calculus
0 references
probabilistic computation
0 references
bisimulation
0 references
coinduction
0 references