Coinductive predicates and final sequences in a fibration (Q4606703)
From MaRDI portal
scientific article; zbMATH DE number 6848516
Language | Label | Description | Also known as |
---|---|---|---|
English | Coinductive predicates and final sequences in a fibration |
scientific article; zbMATH DE number 6848516 |
Statements
Coinductive predicates and final sequences in a fibration (English)
0 references
9 March 2018
0 references
0 references
0 references