Rob Nederpelt

According to our database, Rob Nederpelt authored at least 24 papers between 1973 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Characteristics of de Bruijn's early proof checker Automath.

Herman Geuvers, Rob Nederpelt

Fundam. Informaticae, 2022

2012

A History of Types^*.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Logic: A History of its Central Concepts, 2012

2004

A Refinement of de Bruijn's Formal Language of Mathematics.

Fairouz Kamareddine, Rob Nederpelt

J. Log. Lang. Inf., 2004

Rewriting for Fitch Style Natural Deductions.

Herman Geuvers, Rob Nederpelt

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

A Path to Faithful Formalizations of Mathematics.

Gueorgui I. Jojgov, Rob Nederpelt

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

Revisiting the notion of function.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

J. Log. Algebraic Methods Program., 2003

Automath and Pure Type Systems.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Mathematics, 2003

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.

Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer

Proceedings of the Mathematical Knowledge Management Symposium, 2003

2002

Formalizing Belief Revision in Type Theory.

Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt

Log. J. IGPL, 2002

Types in logic and mathematics before 1940.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Bull. Symb. Log., 2002

Parameters in Pure Type Systems.

Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms.

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Refining the Barendregt Cube Using Parameters.

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

1999

On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Ann. Pure Appl. Log., 1999

1998

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.

Lex Bijlsma, Rob Nederpelt

Acta Informatica, 1998

1996

A Useful lambda-Notation.

Fairouz Kamareddine, Rob Nederpelt

Theor. Comput. Sci., 1996

A modern elaboration of the ramified theory of types.

Twan Laan, Rob Nederpelt

Stud Logica, 1996

Canonical Typing and Pi-Conversion in the Barendregt Cube.

Fairouz Kamareddine, Rob Nederpelt

J. Funct. Program., 1996

The Barendregt Cube with Definitions and Generalised Reduction.

Roel Bloo, Fairouz Kamareddine, Rob Nederpelt

Inf. Comput., 1996

1995

Refining Reduction in the Lambda Calculus.

Fairouz Kamareddine, Rob Nederpelt

J. Funct. Program., 1995

1994

A Unified Approach to Type Theory Through a Refined lambda-Calculus.

Fairouz Kamareddine, Rob Nederpelt

Theor. Comput. Sci., 1994

1993

On Stepwise Explicit Substitution.

Fairouz Kamareddine, Rob Nederpelt

Int. J. Found. Comput. Sci., 1993

1980

An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus.

Rob Nederpelt

Proceedings of the 5th Conference on Automated Deduction, 1980

1973

Strong normalization in a typed lambda calculus with lambda structured types.

Robert Pieter Nederpelt Lazarom

PhD thesis, 1973