EasyChair Smart Slide
Classical realizability as a classifier for nondeterminism
Classical realizability as a classifier for nondeterminism