| Autor: |
Henk Doornbos, Roland Backhouse |
| Přispěvatelé: |
Mathematics and Computer Science |
| Jazyk: |
angličtina |
| Rok vydání: |
1996 |
| Předmět: |
|
| Zdroj: |
Science of Computer Programming, 26(1-3), 217-236. Elsevier |
| ISSN: |
0167-6423 |
| DOI: |
10.1016/0167-6423(95)00027-5 |
| Popis: |
The notion of reductivity of a relation with respect to a datatype is introduced and related to inductivity and initiality. The use of reductivity in constructing terminating programs is discussed. A calculus of reductivity, discussed in more detail in a companion paper, is introduced. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect