Coalgebraic Up-to Techniques (Q2848937)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic Up-to Techniques |
scientific article |
Statements
Coalgebraic Up-to Techniques (English)
0 references
13 September 2013
0 references
