Tags
2 pages
Combinator Logic
ๅบ็ก็ Lambda ๆผ็ฎ็ผ็จ
่ฟญไปฃ็ปๅๅญ็ๆ้ - LCaC ยง 4C, Theorem 4.20