15399 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 lessthan and equality relations.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
fp@cs
Frank Pfenning
