On this page:
Definition of the noun Substitutor
What does Substitutor mean as a name of something?
- One who, or that which, substitutes.
Printed dictionaries and other books with definitions for Substitutor
Click on a title to look inside that book (if available):
Lambda Calculus with Types (2013)
by Henk Barendregt, Wil Dekkers, Richard Statman
A substitutor is an operation >l< : If —> If such that *(A —> B) E *(A) —> We write A* for ...
Mathematical Logic (2013)
by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
A substitutor is a map or V – T from the set V of variables ...
International Council of Scientific Unions (ICSU) to Intrex Project by Allen Kent, Harold Lancour, Jay E. Daily
Substitutor: S«abc adc It will be noticed that, if the subscript R's are taken away from the first four of these operators, the resulting set of operations is a renamed set of combinators of an ordinary combinator logic. Moreover, the string of initially homogeneous elements abcde . . . n, into which the philosophic text editor progressively inserts heterogeneity, is to be regarded, also as in a combinator logic, as having its elements asymmetrically bracketed together, with the brackets nestling to ...
Exhibiting the Origin, Orthography, Pronunciation, and Definitions of Words by Noah Webster
substitutor: It storiuin ; ...
Online dictionaries and encyclopedias with entries for Substitutor
Click on a label to prioritize search results according to that topic:
Video about Substitutor
Video shows what substitutor means. One who, or that which, substitutes.. Substitutor Meaning. How to pronounce, definition audio dictionary. How to say ...
Scrabble value of S1U1B3S1T1I1T1U1T1O1R1
The value of this 11-letter word is 13 points, but it's not an accepted word in the Official Scrabble Players Dictionary.
Share this page
Go to the thesaurus of Substitutor to find many related words and phrases!