Reverse Mathematics in Dependent Type Theory

Project: Research

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

Research outputs

ID: 21685142