Word:

combinatory logic

combinatory 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.
Browse
Combination
Combination by volume
Combination by weight
Combination car
combination in restraint of trade
combination lock
combination oral medicines
combination plane
Combination room
combination salad
combination therapy
combinational
combinative
combinator
combinatorial
combinatory
-- combinatory logic --
Combine
Combined
combined operation
Combinedly
Combiner
Combing
Combing machine
combining
combining form
combining weight
Combless
combo
Comboloio
Combretaceae
combretum
Combretum appiculatum
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy