Concepedia

Rob Nederpelt

RN

Statistics

Publications

10

Citations

226

H-Index

10

Active since

1993

Affiliations

Eindhoven University of Technology(Current)

University of Glasgow

Heriot-Watt University

Rob Nederpelt is an author at Eindhoven University of Technology specializing in automated reasoning, discrete mathematics, and engineering.

Top concepts

Automated ReasoningEngineeringLinguisticsDiscrete MathematicsLanguageCompilersEducationSemanticsOptimizationFormal Methods

Publications per year

1993–2004

10

Publications

10

The Barendregt Cube with Definitions and Generalised Reduction

Roel Bloo, Fairouz Kamareddine, Rob Nederpelt · Information and Computation · 1996 · 35 citations · Full text

Discrete Geometry, Higher Dimensional Problem, Barendregt Cube +2

A Refinement of de Bruijn's Formal Language of Mathematics

Fairouz Kamareddine, Rob Nederpelt · Journal of Logic Language and Information · 2004 · 34 citations

Formal Language, Automated Reasoning, Foundation Of Mathematics +2

ON STEPWISE EXPLICIT SUBSTITUTION

Fairouz Kamareddine, Rob Nederpelt · International Journal of Foundations of Computer Science · 1993 · 32 citations

Lambda Calculus Notation, Item Notation, Engineering +15

A useful λ-notation

Fairouz Kamareddine, Rob Nederpelt · Theoretical Computer Science · 1996 · 31 citations

Formal Notation, Useful λ-Notation, Functional Programming +1

Types in Logic and Mathematics Before 1940

Fairouz Kamareddine, Twan Laan, Rob Nederpelt · Bulletin of Symbolic Logic · 2002 · 23 citations

Logical Paradoxes, Automated Reasoning, Type Theory +6

1–5 of 10