A note on the diamond operator (Q4995605): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q1680549 |
||
Property / author | |||
Property / author: Linda Brown Westrick / rank | |||
Revision as of 08:16, 29 February 2024
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