Representing natural numbers in lambda calculus
One of the joys of reading SICP is that apart from the main subject matter, we come across many tangential topics that are interesting in their own right. One such topic is …
[Read more]