Which simple types have a unique inhabitant?

Gabriel Scherer, Didier Rmy

Browse the full ICFP paper archive.