Reverse Mathematics in Dependent Type Theory

  • Adams, Robin (PI)

Project: Research

Project Details

Description

language, proof checker, constructive mathematics, formal logic
StatusFinished
Effective start/end date16/10/0615/09/09

Funding

  • Eng & Phys Sci Res Council EPSRC: £225,677.00