Bridging Curry and Church's typing style

DOI10.1016/J.JAL.2016.05.008MaRDI QIDQ334149zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, Jonathan P. Seldin, J. B. Wells

Publication date 31 October 2016

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2016.05.008

zbMATH Keywords

Church-style typingcurry-style typingdomain-free typingdomain-full typing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Church and Curry: combining intrinsic and extrinsic typing
• scientific article; zbMATH DE number 1759491
• Towards an intersection typed system à la Church
• Intersection-types à la Church
• Typing in pure type systems

Cites work

• scientific article; zbMATH DE number 1692907 (Why is no real title available?)
• scientific article; zbMATH DE number 4191621 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A modern perspective on type theory. From its origins until today
• Bridging Curry and Church's typing style
• Combinatory logic. Vol. II
• Comparing cubes of typed and type assignment systems
• Domain-free pure type systems
• Progress report on generalized functionality
• Pure type systems with more liberal rules
• The calculus of constructions
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(4)

• Church and Curry: combining intrinsic and extrinsic typing
• Bridging Curry and Church's typing style
• scientific article; zbMATH DE number 625974 (Why is no real title available?)
• Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Bridging Curry and Church's typing style

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