plc16:lecture_5

Lecture 5

Lecture 5 Slides

Lecture 5 discusses proofs about collections of derivations instead of a single derivation.

Readings

PL: BPC Chapter 1 (Sections 1.6)

Optional Readings

Philippa Gardner's notes on structural induction (also cached here)

plc16/lecture_5.txt · Last modified: 2016/09/02 12:17 by hossein