PRL Seminars

In this talk I am going to describe the explicit substitution and explicit sharing calculi as described in Explicit Substitution Survey by Kristoffer Roze and talk about the ideas to use them in improving and formalizing the Nuprl evaluator. ( http://www.brics.dk/LS/96/3/BRICS-LS-96-3/BRICS-LS-96-3.html)