CSCI2520 · 2
Chapter outline · Lists and recursion
Definitions and theorem statements recorded in the web, in note order, with the exact proof steps behind their recorded connections.
0 of 1 public sections have indexed statements. This outline covers only those statements, not every theorem in the chapter. Recorded connections are still being reviewed.
Lists as recursive ADTs
0 recorded theorems · 0 recorded definitions
Statements from this section are not indexed yet. Read the original note for its definitions and theorems.