For example, recent work on Fitch-style modal calculi has employed a semantic method known as normalisation by evaluation (NbE) to streamline proofs of normalisation, ... Lambda-calculus: ...

This tutorial demonstrates the power of lambda expressions by contrasting implementations of a mathematical example using C++, Java without lambdas, and Java 8 with lambda expressions.

For example, recent work on Fitch-style modal calculi has employed a semantic method known as normalisation by evaluation (NbE) to streamline proofs of normalisation, ... Lambda-calculus: ...