PRL Seminars

Stuart Allen will continue from last week's seminar on abstract identifiers and Nuprl libraries. Last week's seminar will be summarized briefly, and further issues raised there will be addressed.

On a separate matter: If there is time remaining, there will be a discussion of some issues suggested by Lamport's visit during the previous week vis-a-vis typed specification languages and ZF set-theory.