Even though combinatory logic is mostly of theoretical interest, this work is proof that mathematics it at the heart of any computation. Sound Bites • Locally: The polynomial reconstruction problem ...