15-399 Constructive Logic
Lecture 10: Lists and Predicates
We introduce lists with arbitrary elements as another data type and
discuss the modified rule of primitive recursion appropriate for lists.
We also discuss some basic propositions about natural numbers, such
as the less-than and equality relations.