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.