การติดต่อกันของ Curry-Howard ดั้งเดิมนั้นเป็นความผิดปกติระหว่างตรรกะเชิงแคลคูลัสเชิงประพจน์และแคลคูลัสแลมบ์ดาเพียงพิมพ์
มีแน่นอน isomorphisms เหมือน Curry-Howard อื่น ๆ ; Phil Wadler มีชื่อเสียงชี้ให้เห็นว่าชื่อ "Curry-Howard" ที่มีลำกล้องสองครั้งคาดการณ์ชื่ออื่น ๆ เช่น "Hindley-Milner" และ "Girard-Reynolds" มันคงจะตลกถ้า "Martin-Löf" เป็นหนึ่งในนั้น แต่ไม่ใช่ แต่ฉันเชือนแช
Y combinator ไม่ได้ขัดแย้งกับสิ่งนี้ด้วยเหตุผลสำคัญอย่างหนึ่ง: มันไม่สามารถแสดงออกได้ในแคลคูลัสแลมบ์ดาที่พิมพ์ได้ง่าย
ในความเป็นจริงนั่นคือประเด็นทั้งหมด Haskell Curry ค้นพบ fixpoint combinator ในแคลคูลัสแลมบ์ดาที่ไม่มีการพิมพ์และใช้เพื่อพิสูจน์ว่าแคลคูลัสแลมบ์ดาที่ไม่ได้พิมพ์นั้นไม่ใช่ระบบการลดเสียง
สิ่งที่น่าสนใจประเภทของ Y สอดคล้องกับตรรกะที่ขัดแย้งกันซึ่งไม่เป็นที่รู้จักอย่างที่ควรจะเรียกว่า Curry's Paradox พิจารณาประโยคนี้:
ถ้าประโยคนี้เป็นจริงแล้วซานตาคลอสอยู่
สมมติว่าประโยคนั้นเป็นจริง เห็นได้ชัดว่าซานตาคลอสจะมีอยู่จริง แต่นี่เป็นสิ่งที่ประโยคพูดอย่างแม่นยำดังนั้นประโยคนั้นจึงเป็นจริง ดังนั้นซานตาคลอสอยู่ QED