这是简单类型lambda演算的当前版本，由Kloisiie（留言 | 贡献）编辑于2010年7月27日 (二) 09:21 （简单类型lambda演算移动到简单类型λ演算）。这个网址是本页该版本的固定链接。
重定向到：
