Nicolaas Govert de Bruijn

What is he best known for?

The fields of study he is best known for:

• Algebra
• Real number
• Programming language

His primary scientific interests are in Combinatorics, Algebra, Discrete mathematics, Applied mathematics and Asymptotic analysis. In most of his Combinatorics studies, his work intersects topics such as Factorization. His studies in Church encoding, System F, Explicit substitution, Typed lambda calculus and Deductive lambda calculus are all subfields of Algebra research.

His Discrete mathematics research incorporates elements of State, Refactorable number, Divisor function and Semiperfect number. His Applied mathematics research integrates issues from Function, Singular perturbation, Asymptotic expansion and Asymptotology. De Ng Dick Bruijn conducts interdisciplinary study in the fields of Asymptotic analysis and Local asymptotic normality through his works.

His most cited work include:

• A combinatorial problem (1202 citations)
• Asymptotic methods in analysis (1180 citations)
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem (647 citations)

What are the main themes of his work throughout his whole career to date?

Combinatorics, Discrete mathematics, Automath, Pure mathematics and Algebra are his primary areas of study. Many of his studies on Combinatorics apply to Penrose tiling as well. His Penrose tiling study incorporates themes from Topological conjugacy and Cover.

His Discrete mathematics research incorporates themes from State and Permutation group. His work in Algebra addresses subjects such as Set, which are connected to disciplines such as Expression. His research in Church encoding intersects with topics in Lambda cube and Fixed-point combinator.

He most often published in these fields:

• Combinatorics (19.64%)
• Discrete mathematics (14.29%)
• Automath (11.90%)

What were the highlights of his more recent work (between 1989-2013)?

• Automath (11.90%)
• Algebra (10.71%)
• Combinatorics (19.64%)

In recent papers he was focusing on the following fields of study:

De Ng Dick Bruijn mostly deals with Automath, Algebra, Combinatorics, Set and Calculus. Church encoding, Simply typed lambda calculus and Typed lambda calculus are subfields of Algebra in which his conducts study. His Church encoding course of study focuses on Church–Rosser theorem and System F.

His Combinatorics study integrates concerns from other disciplines, such as Topological conjugacy, Cover and Penrose tiling. De Ng Dick Bruijn has researched Set in several fields, including Correctness, Expression and Mathematical thinking. His biological study spans a wide range of topics, including Fixed-point combinator, Universal set and Deductive lambda calculus.

Between 1989 and 2013, his most popular works were:

• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem (235 citations)
• Circuits and Trees in Oriented Linear Graphs (75 citations)
• The Mathematical Vernacular, A Language for Mathematics with Typed Sets (69 citations)

In his most recent research, the most cited papers focused on:

• Algebra
• Programming language
• Real number

The scientist’s investigation covers issues in Algebra, Automath, Sequence, Programming language and Church encoding. His work deals with themes such as Context and Identifier, which intersect with Algebra. His Sequence research includes elements of Classical logic, Correctness and Set, Set theory.

His studies in Programming language integrate themes in fields like Structure, Axiom, Terminology and Grammar. His Church encoding research is multidisciplinary, incorporating perspectives in Dependent type, Binary lambda calculus and System F. His System F research incorporates elements of Lambda cube, Fixed-point combinator, Church–Rosser theorem, Deductive lambda calculus and Natural deduction.