Relational Reasoning for Recursive Types and References (Q5385588)
From MaRDI portal
scientific article; zbMATH DE number 5271792
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Reasoning for Recursive Types and References |
scientific article; zbMATH DE number 5271792 |
Statements
Relational Reasoning for Recursive Types and References (English)
0 references
6 May 2008
0 references
