A λ-CALCULUS APPROACH
Data up to Jan 2025
Total Citations Per Year
Abstract
References (18)
Recursive functions of symbolic expressions and their computation by machine, Part I
1960 • 1,326 citations
The calculi of lambda-conversion
1941 • 1,213 citations
The Mechanical Evaluation of Expressions
1964 • 923 citations
Revised report on the algorithmic language ALGOL 60
1963 • 909 citations
Report on the algorithmic language ALGOL 60
1960 • 489 citations
Computer Programming and Formal Systems
1963 • 328 citations
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
1959 • 320 citations
Syntactic Analysis and Operator Precedence
1963 • 247 citations
A syntax directed compiler for ALGOL 60
1983 • 198 citations
A syntax directed compiler for ALGOL 60
1961 • 161 citations
Revised report on the algorithmic language ALGOL 60
1963 • 147 citations
The Elements of Mathematical Logic.
1952 • 102 citations
Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming
1959 • 45 citations
The compiler compiler
1963 • 34 citations
A generalization of ALGOL
1963 • 31 citations
Making a Translator for ALGOL 60
1963 • 25 citations
Syntactic analysis by digital computer
1962 • 20 citations
An Abstract Computer with a Lisp-Like Machine Language Without a Label Operator
1963 • 14 citations