A constructive topological proof of van
โ
Thierry Coquand
๐
Article
๐
1995
๐
Elsevier Science
๐
English
โ 670 KB