Dr Robin Adams

  1. Classical Dependant Type Theories

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £98,545

    1/03/1230/09/13

    Project: Research

  2. Reverse Mathematics in Dependent Type Theory

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £225,677

    16/10/0615/09/09

    Project: Research