Discussion of the Nuprl Evaluator

Following up on the direction of last week’s extended seminar, today we will be continuing our discussion of the Nuprl evaluator.

This Friday’s seminar will take place in Upson 5126 from 12:05-1:00PM.