Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

logical relation

You are here: irt.org | FOLDOC | 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.

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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb