Bridging Curry and Church's typing style

DOI10.1016/J.JAL.2016.05.008zbMATH Open1436.03106OpenAlexW2468222941MaRDI QIDQ334149FDOQ334149

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Bridging Curry and Church's typing style
• Progress report on generalized functionality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pure type systems with more liberal rules
• Domain-free pure type systems
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Bridging Curry and Church's typing style
• Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms

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)