Powell, Thomas Rhidian John.(Queen Mary University of London, 2013-08)
This dissertation concerns the computational interpretation of analysis via proof interpretations,
and examines the variants of bar recursion that have been used to interpret the
axiom of choice. It consists of an applied ...