Progress report on generalized functionality

DOI10.1016/0003-4843(79)90020-2zbMath0442.03014OpenAlexW1998877866MaRDI QIDQ3884084

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

reduction relationscombinatory relationsgeneralized functionalityrelations of lambda conversion

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (6)

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

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