All Stories

  1. Effective operations of type 2 in PCAs

    Article • Computability, May 2016, IOS Press

    Dr Jaap van Oosten

  2. A notion of homotopy for the effective topos

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Dr Jaap van Oosten