Recursion Tables
An exploratory essay on making recursive definitions and their structure easier to inspect.
1. From Truth Tables to Recursion Tables
Stefan Kober
1. From Truth Tables to Recursion Tables
2. Truth Tables
Stefan Kober
2. Truth Tables
3. Types, Constructors, And Cases
Stefan Kober
3. Types, Constructors, And Cases
4. A First Example: Equality On Natural Numbers
Stefan Kober
4. A First Example: Equality On Natural Numbers
5. Addition And Multiplication
Stefan Kober
5. Addition And Multiplication
6. From Recursion To Induction And Algorithms
Stefan Kober
6. From Recursion To Induction And Algorithms
7. Visibility
Stefan Kober
7. Visibility