Title of article
Reductivity
Author/Authors
Henk Doornbos، نويسنده , , Roland Backhouse، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 1996
Pages
20
From page
217
To page
236
Abstract
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.
Journal title
Science of Computer Programming
Serial Year
1996
Journal title
Science of Computer Programming
Record number
1079444
Link To Document