User Tools

Site Tools


plc16:lecture_5

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plc16:lecture_5 [2016/09/02 12:17] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 5 ======
 +Lecture 5 {{ :​plc16:​lect5:​main.pdf | 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 [[https://​www.doc.ic.ac.uk/​~pg/​Computation/​lecture3.pdf|notes]] on structural induction ​ (also cached {{ :​plc16:​lect5:​struct-induct.pdf |here}})
plc16/lecture_5.txt ยท Last modified: 2016/09/02 12:17 by hossein