This page shows all presentations of this author published in EasyChair Smart Slide.
Classical realizability as a classifier for nondeterminism
Guillaume Geoffroy