Quantitative Behavioural Reasoning for Higher-order Effectful Programs (Q5145320)
From MaRDI portal
scientific article; zbMATH DE number 7298770
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantitative Behavioural Reasoning for Higher-order Effectful Programs |
scientific article; zbMATH DE number 7298770 |
Statements
Quantitative Behavioural Reasoning for Higher-order Effectful Programs (English)
0 references
20 January 2021
0 references
Fuzz
0 references
Howe's method
0 references
algebraic effects
0 references
applicative bisimilarity
0 references
applicative distance
0 references
applicative similarity
0 references
relator
0 references
