4
สิ่งที่จุดของ
ฉันคิดว่าฉันไม่เข้าใจมัน แต่ηη\eta -conversion รูปลักษณ์ที่ให้ฉันเป็นββ\beta -conversion ที่ไม่ทำอะไรเลยเป็นกรณีพิเศษของββ\beta -conversion ที่ผลที่ได้คือเพียงแค่ในระยะที่เป็นนามธรรมแลมบ์ดาเพราะมีอะไรที่จะทำ ชนิดของจุดหมายββ\beta -conversion ดังนั้นบางทีηη\eta -conversion เป็นสิ่งที่มันลึกและแตกต่างจากนี้ แต่ถ้าเป็นผมไม่ได้รับมันและฉันหวังว่าคุณสามารถช่วยฉันกับมัน (ขอบคุณและขอโทษฉันรู้ว่านี่เป็นส่วนหนึ่งของพื้นฐานเบื้องต้นในแคลคูลัสแลมบ์ดา)