logical relation

A relation R satisfying

f R g <=> For all a, b, a R b => f a R g b

This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.

Try this search on Wikipedia, OneLook, Google

Nearby terms: Logical Interchange Format « Logical Link Control « Logical Link Control and Adaptation Protocol « logical relation » logical shift » logical shift left » logical shift right


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.