Classical realizability and new forms of control
These lectures are an introduction to Krivine's classical realizability. The focus will be on using realizability as a tool for exploring the relation between excluded-middle-like tautologies and control combinators.
References