Schönfinkelization

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
logic concept
gptkbp:alsoKnownAs currying
gptkbp:application functional programming
gptkbp:defines The process of transforming a function that takes multiple arguments into a sequence of functions each with a single argument.
gptkbp:field gptkb:lambda_calculus
gptkb:logic
computer science
gptkbp:firstDescribed 1924
https://www.w3.org/2000/01/rdf-schema#label Schönfinkelization
gptkbp:influenced gptkb:Alonzo_Church
gptkb:lambda_calculus
gptkbp:namedAfter gptkb:Moses_Schönfinkel
gptkbp:relatedTo gptkb:Haskell
combinatory logic
lambda abstraction
gptkbp:bfsParent gptkb:Moses_Schönfinkel
gptkbp:bfsLayer 8