Formal Languages, Formally and Coinductively (Q5369496)
From MaRDI portal
scientific article; zbMATH DE number 6792364
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Languages, Formally and Coinductively |
scientific article; zbMATH DE number 6792364 |
Statements
17 October 2017
0 references
formal languages
0 references
codatatypes
0 references
corecursion
0 references
coinduction
0 references
interactive theorem proving
0 references
Isabelle/HOL
0 references
Formal Languages, Formally and Coinductively (English)
0 references
