Title of article :
Reductivity
Author/Authors :
Henk Doornbos، نويسنده , , Roland Backhouse، نويسنده ,
Issue Information :
دوماهنامه با شماره پیاپی سال 1996
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
Journal title :
Science of Computer Programming
