A note on measures with values in a part
β
Thierry Coquand
π
Article
π
2004
π
Springer
π
English
β 80 KB