A note on the diamond operator (Q4995605)
From MaRDI portal
scientific article; zbMATH DE number 7363327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on the diamond operator |
scientific article; zbMATH DE number 7363327 |
Statements
A note on the diamond operator (English)
0 references
25 June 2021
0 references
compositional product
0 references
diamond operator
0 references
weihrauch lattice
0 references
recursion theorem
0 references
