Pawel Parys: How Many Numbers Can a Lambda-Term Contain? FLOPS 2014: 302-318