Church and Curry: combining intrinsic and extrinsic typing

zbMATH Open1226.03020MaRDI QIDQ3086784FDOQ3086784

Authors: Frank Pfenning 

Publication date: 30 March 2011

Recommendations

• Bridging Curry and Church's typing style
• scientific article; zbMATH DE number 1759491
• Intersection-types à la Church
• Towards an intersection typed system à la Church
• scientific article; zbMATH DE number 761284

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (2)

• An Isbell duality theorem for type refinement systems
• Existential type systems between Church and Curry style (type-free style)

This page was built for publication: Church and Curry: combining intrinsic and extrinsic typing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3086784)