News
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: ...
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: ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback