Question
In a paper co-authored by Epic Games CEO Tim Sweeney, these things are encoded as identity functions in a system partially named “Aleph.” The Amber rules compare a class of these non-list things, which can be constructed or destructed via the “unfold” and “fold” keywords. An analog of Russell’s paradox which states that consistent systems cannot exhibit a “universal” one of these things is named for Jean-Yves Girard. In addition to bindings over terms, bindings over these things are present in (*) System F. These things correspond to logical propositions by the Curry-Howard isomorphism. A version of the lambda calculus that implements a “simple” one denotes these things by the letter tau. Multiple instances of these things act as inputs to polymorphic functions. For 10 points, name these categories of data values that include “int” or “bool.” ■END■
Buzzes
| Player | Team | Opponent | Buzz Position | Value |
|---|---|---|---|---|
| Michael Du | You cannot go to Aarhus to see his peat-brown head / With eyes like ripening fruit | The Only Existing Manuscript from A Clockwork Orange | 44 | -5 |
| Asha Basu | I'd prefer to have the team name be Christensen et al. than anything that Erik cooks up | Tensei Shitara Flashcard Data Ken | 53 | 15 |
| Sky Li | Simpson Agonistes: The Crisis of Donut | Communism is Soviet power plus the yassification of the whole country | 62 | 15 |
| Jananan Arulseelan | The Only Existing Manuscript from A Clockwork Orange | You cannot go to Aarhus to see his peat-brown head / With eyes like ripening fruit | 102 | 0 |
| Kunaal Chandrashekar | as rational as the square root of two power bottoms | Moderator Can't Neg me While in Alpha | 136 | 10 |
| Jason Zhang | She Dicer On My Argonaute Till I RNA Interfere | Ryan Wesley Routh's 10 000 NATO-trained Afghan Quizbowlers | 136 | 10 |