Now showing items 1-1 of 1

    • Code-free Recursion & Realizability 

      Faber, E.E. (2014)
      This thesis is an elaborate account of the theory of partial combinatory algebras (pcas) and their associated categorical structures called categories of assemblies and realizability toposes. From the viewpoint of "abstract ...