```

```

This a beamer introducing basic $\lambda$ calculus.

About me

• Name: 刘思雨 WilliamLiusy
• Email: williamliusy@sjtu.edu.cn
• University: Shanghai Jiao Tong University
• Major: John Hopcroft Class (Computer Science), Zhiyuan College

About this blog

• review and thoughts of some learning materials