Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Krivine's realizability: from storage operators to the intentional axiom of choice


Speaker: Christophe Raffalli

Abstract

We will give a survey of some results in realizability including: