Now showing items 1-1 of 1

    • On Bar Recursive Interpretations of Analysis. 

      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 ...