combinatory logic

C c

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definitions of combinatory logic words

noun Technical meaning of combinatory logic (logic) A system for reducing the operational notation of logic, mathematics or a functional language to a sequence of modifications to the input data structure. First introduced in the 1920's by Schoenfinkel. Re-introduced independently by Haskell Curry in the late 1920's (who quickly learned of Schoenfinkel's work after he had the idea). Curry is really responsible for most of the development, at least up until work with Feys in 1958. See combinator. 1
noun combinatory logic (computer science) Model of computation based on combinators. 0

See all 2 definitions of combinatory logic

Information block about the term

Parts of speech for Combinatory logic

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Combinatory logic

See also

All definitions of combinatory logic

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?