Church and Curry: combining intrinsic and extrinsic typing

MaRDI QIDQ3086784zbMATHFDO

Authors Frank Pfenning

Publication date 30 March 2011

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(3)

• An Isbell duality theorem for type refinement systems
• Existential type systems between Church and Curry style (type-free style)
• Bridging Curry and Church's typing 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)