Computing in Cantor's Paradise with λ ZFC.

Neil Toronto, Jay McCarthy

Browse the full FLOPS paper archive.