No label defined (Q4585073)
From MaRDI portal
scientific article; zbMATH DE number 6932686
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6932686 |
Statements
6 September 2018
0 references
recursion
0 references
coalgebra
0 references
coinduction
0 references
complete Elgot monad
0 references
resumptions
0 references