User Tools

Site Tools


plt17:lecture_7

Differences

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

Link to this comparison view

plt17:lecture_7 [2017/09/15 17:24] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 7 ======
 +Lecture 7  {{ :​plt17:​lectures:​lect7:​main.pdf | Slides}} ​
 +(Programming in the λ-calculus)
  
 +=== Readings ===
 + 
 +  * "Types and Programming Languages",​ Chapter 5.2
plt17/lecture_7.txt · Last modified: 2017/09/15 17:24 by hossein