Constructive Mathematics
Links
Here are some links to personal homepages and other sites related to constructive mathematics.
- Constructive Mathematics: Proof and Computation
Marie Curie International Research Staff Exchange Scheme
European Commission Seventh Framework Programmme - Network on Computability and Complexity in Analysis—Vasco Brattka
- A bibliography of constructive mathematics—Erik Palmgren
- Fred Richman
- Hajime Ishihara
- Helmut Schwichtenberg
- A.S. Troelstra
- Bas Spitters
- Klaus Weihrauch
- Peter Aczel
- Erik Palmgren
- Thierry Coquand
- Henri Lombardi
- Dirk van Dalen