scientific article; zbMATH DE number 3752816

zbMATH Open0479.03005MaRDI QIDQ3936712FDOQ3936712

Authors: Haskell B. Curry 

Publication date: 1980

Title of this publication is not available (Why is that?)

zbMATH Keywords

representationssubstitutionassertionequalitymotivationrealizationscombinatorslambda conversionillative combinatory logicChurch-Rosser theoremcombinatory arithmeticreplies to criticisms of combinatory logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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