Skip to main content
PRL Project

Reflection

by William Aitken
1992-1993

Bill will give a Scientific American level discussion of the reflection work in Nuprl.
Specifically, we will hear about how the reflection principle can be used to advantage in a theorem proving environment and perceived applications of reflection in Nuprl.