Constructive Topology and Combinatorics (1991)

Cached

Download Links

by Thierry Coquand
Venue:In proceeding of the conference Constructivity in Computer Science, San Antonio, LNCS 613
Citations:13 - 2 self