Show was organized in

In theoretical computer science, the Krivine machine is an abstract machine. As an abstract machine, it shares features with Turing machines and the SECD machine. The Krivine machine explains how to compute a recursive function. More specifically it aims to define rigorously head normal form reduction of a lambda term using call-by-name reduction. Thanks to its formalism, it tells in details how a kind of reduction works and sets the theoretical foundation of the operational semantics of functional programming languages. On the other hand, Krivine machine implements call-by-name because it evaluates the body of a β-redex before it applies the body to its parameter. In other words, in an expression u it evaluates first λ x. t before applying it to u. In functional programming, this would mean that in order to evaluate a function applied to a parameter, it evaluates first the function before applying it to the parameter.

Indigenous peoples in Canada demand to have their land rights and their Aboriginal titles respected by the Canadian government. These outstanding land claims are some of the main political issues facing Indigenous peoples today.

Opening Night is a big band jazz recording of the Thad Jones/Mel Lewis Jazz Orchestra playing at the Village Vanguard club in New York City in February 1966. This was the first performance of the group at this club although the recording was not released until 2000. A 50-year tradition for Monday nights at the Village Vanguard began from this first evening for the Thad Jones/Mel Lewis Jazz Orchestra which later became the Mel Lewis Jazz Orchestra and eventually the Vanguard Jazz Orchestra. Resonance Records released what they term an \"official release\", approved by the Jones and Lewis estates, in 2016.