Correspondence between ALGOL 60 and Church's Lambda-notation (Q5345264): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1290330
Property / author
 
Property / author: Peter J. Landin / rank
Normal rank
 

Revision as of 21:59, 22 February 2024

scientific article; zbMATH DE number 3218187
Language Label Description Also known as
English
Correspondence between ALGOL 60 and Church's Lambda-notation
scientific article; zbMATH DE number 3218187

    Statements

    Correspondence between ALGOL 60 and Church's Lambda-notation (English)
    0 references
    1965
    0 references
    numerical analysis
    0 references

    Identifiers