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.
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.