combinatory logic
noun
: a branch of symbolic logic that deals especially with the notion of substitution and the eliminability of variables in favor of special function symbols
Dictionary Entries Near combinatory logic
Cite this Entry
“Combinatory logic.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/combinatory%20logic. Accessed 28 Nov. 2024.
Copy CitationLove words? Need even more definitions?
Merriam-Webster unabridged
Share