Conditions for the completeness of functional and algebraic equational reasoning (Q4946627)
From MaRDI portal
scientific article; zbMATH DE number 1422508
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conditions for the completeness of functional and algebraic equational reasoning |
scientific article; zbMATH DE number 1422508 |
Statements
Conditions for the completeness of functional and algebraic equational reasoning (English)
0 references
23 March 2000
0 references
algebraic equational reasoning
0 references
functional equational reasoning
0 references
simply-typed \(\lambda\)-calculus
0 references
algebraic operations
0 references
