1/24/2020 Select a redex (i.e. a lambda expression that can be reduced). Press the button. If you can see this, your browser does not understand IFRAME. Book traversal links for The Lambda Normal Order and Applicative Order Reductions in Parallel Widget ‹ The Lambda One-step Redex Widget Up Normal Order Reductions in Simply Typed Lambda Calculus Widget ›
