How Many Numbers Can a Lambda-Term Contain?

Pawel Parys

Browse the full FLOPS paper archive.