Philosophy of linear foundations
- Three criteria for truth
- Presenting linear mathematics I
- Presenting linear mathematics II
- Linear solution for the barber
- Has constructivism failed?
- Constructive mathematics
- Constructivism in Computer Science and category theory
- Towards linear mathematics
#project #index