A structural co-induction theorem (Q5890042)
From MaRDI portal
scientific article; zbMATH DE number 7680635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A structural co-induction theorem |
scientific article; zbMATH DE number 7680635 |
Statements
A structural co-induction theorem (English)
0 references
28 April 2023
0 references
transition system
0 references
label transition system
0 references
structural induction
0 references
continuous functor
0 references
domain equation
0 references
