2
คุณจะได้รับแคลคูลัสของสิ่งก่อสร้างจากจุดอื่น ๆ ในแลมบ์ดาคิวบ์ได้อย่างไร
CoC กล่าวกันว่าเป็นสุดยอดของทั้งสามมิติของแลมบ์ดาคิวบ์ สิ่งนี้ไม่ชัดเจนสำหรับฉันเลย ฉันคิดว่าฉันเข้าใจมิติของแต่ละบุคคลและการรวมกันของสองใด ๆ ที่ดูเหมือนจะส่งผลให้มีการรวมกันค่อนข้างตรงไปตรงมา (บางทีฉันอาจจะขาดอะไรบางอย่าง?) แต่เมื่อฉันดู CoC แทนที่จะมองเหมือนการรวมกันของทั้งสามดูเหมือนว่าสิ่งที่แตกต่างอย่างสิ้นเชิง มิติข้อมูลประเภทใดชนิดหนึ่ง Prop และขนาดเล็ก / ขนาดใหญ่มาจากไหน ผลิตภัณฑ์ที่ขึ้นต่อกันหายไปที่ไหน และทำไมจึงให้ความสำคัญกับข้อเสนอและบทพิสูจน์แทนประเภทและโปรแกรม มีสิ่งที่เทียบเท่าที่เน้นประเภทและโปรแกรมหรือไม่ แก้ไข: ในกรณีที่ไม่ชัดเจนฉันขอคำอธิบายว่า CoC เทียบเท่ากับการรวมกลุ่มของแลมบ์ดาคิวบ์อย่างตรงไปตรงมาได้อย่างไร และมีสหภาพที่แท้จริงของทั้งสามออกจากที่นั่นฉันสามารถเรียน (ที่เป็นในรูปแบบของโปรแกรมและประเภทไม่ใช่หลักฐานและข้อเสนอ)? นี่คือการตอบสนองต่อความคิดเห็นในคำถามไม่ใช่คำตอบปัจจุบัน