Concepedia
Indagationes Mathematicae (Proceedings) · 1978 · 36 citations · 1 references
ComputingComputer ScienceMathematicsAlgebraFormal MethodsSyntaxModel TransformationLambda CalculusLambda Calculus SemanticsMapping NotationRenamingTransformation LanguagesTyped Lambda Calculus
1
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1972 · 925 citations
Computing, Computer Science, Mathematics +15