Progress report on generalized functionality

DOI10.1016/0003-4843(79)90020-2MaRDI QIDQ3884084zbMATH OpenOpenAlexFDO

Authors Jonathan P. Seldin

Publication date 1979

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(79)90020-2

zbMATH Keywords

combinatory relationsgeneralized functionalityreduction relationsrelations of lambda conversion

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(6)

• The calculus of constructions
• Comparing cubes of typed and type assignment systems
• Variants of the basic calculus of constructions
• A weak absolute consistency proof for some systems of illative combinatory logic
• Bridging Curry and Church's typing style
• Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985

This page was built for publication: Progress report on generalized functionality

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