Question

David Turner introduced three new examples of these objects to create a bracket abstraction algorithm that has n squared output size instead of n cubed. By the Curry-Howard correspondence, these objects are linked with axiom schemes in a Hilbert-style deductive system. These objects are represented by kestrels, starlings, warblers, and other birds in the Raymond Smullyan puzzle book To Mock a Mockingbird. A basis of four of these objects representing composing, permuting, discarding, and duplicating (15[1])is used by the BCKW system, which is equivalent in power to the (*) SKI (“S-K-I”) calculus that only uses three of them. These objects are equivalent to lambda expressions with no free variables. (10[1])In lambda calculus, “fixed-point” kinds of these (-5[1])higher-order functions are used to express recursion. For 10 points, (10[1])the startup accelerator that hosts (10[1])Hacker News is named for the “Y” type of what object? ■END■ (10[1])

Back to tossups