Definitions
Sorry, no definitions found. Check out and contribute to the discussion of this word!
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word subrelation.
Examples
-
An appropriate subrelation of reduction is the simultaneous contraction of a set of nonoverlapping redexes, which is denoted by sc.
Combinatory Logic Bimbó, Katalin 2008
-
The sought after subrelation should possess the diamond property, and its reflexive transitive closure should coincide with reduction.
Combinatory Logic Bimbó, Katalin 2008
-
To exploit this insight in the proof of the Church “ Rosser theorem, a suitable subrelation of reduction has to be found.
Combinatory Logic Bimbó, Katalin 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.