Computer Dictionary/combinatory logic

From En.18dao.net

Jump to: navigation, search

Position:

Main Page > Network Category > Computer Dictionary > combinatory logic

Content:

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.


Interaction: Error Correction | Recommendation Information | Opinion Suggestion | Question Consultation

Related Columns:

ASCII, Dream Dictionary, Idiom Dictionary

Keywords:

Computer Dictionary, Hardware Dictionary, Software Dictionary, Internet Dictionary, Network Dictionary

More Search:

Using Google to search inside this website “Computer Dictionary/combinatory logic” and outside this website “Computer Dictionary/combinatory logic”.

Personal tools