Bridging Curry and Church's typing style

DOI10.1016/j.jal.2016.05.008zbMath1436.03106OpenAlexW2468222941MaRDI QIDQ334149

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

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)

Related Items

Bridging Curry and Church's typing style

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bridging Curry and Church's typing style
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The calculus of constructions
• Comparing cubes of typed and type assignment systems
• A modern perspective on type theory. From its origins until today
• Combinatory logic. Vol. II
• Progress report on generalized functionality
• Pure type systems with more liberal rules
• Domain-free pure type systems