A constructive topological proof of van
✍
Thierry Coquand
📂
Article
📅
1995
🏛
Elsevier Science
🌐
English
⚖ 670 KB