search

linusboyle / linusboyle.cn

my old jekyll blog
2 stars 0 forks source link

无类型λ演算的语法与语义 #82

Open linusboyle opened 5 years ago

linusboyle commented 5 years ago

https://linusboyle.cn/2019/07/lambda-calculus/

这篇文章描述了无类型的λ演算系统的语法和操作语义。

namasikanam commented 5 years ago

咦清华有开讲面向CS的形式语义的课程嘛？（只看到一个外语系的QAQ）

linusboyle commented 5 years ago

@namasikanam 咦清华有开讲面向CS的形式语义的课程嘛？（只看到一个外语系的QAQ）

没有，我是自己学的……

系里对λ演算和语言这块基本上没什么关注