Skip to main content
PRL Project

Formal Domain Theory

by Neal Glew

For our last PRL seminar this term, Neal Glew will talk about the domain theory that he has formalized in Nuprl, including a constructive proof of the fixed point theorem. This will be a short seminar in 456 Rhodes Hall.