Computing (FOLDOC) dictionary
Jump to user comments
A system for reducing the operational notation of logic
modifications to the input data structure. First introduced
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.