Rob Nederpelt

25 papers A 1B 1C 1Misc 1Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus.
CoRR
Rob Nederpelt, Ferruccio Guidi
2022 J jnl
Characteristics of de Bruijn's early proof checker Automath.
CoRR
Herman Geuvers, Rob Nederpelt
2022 J jnl
Characteristics of de Bruijn's early proof checker Automath.
Fundam. Informaticae
Herman Geuvers, Rob Nederpelt
2012 — ch.
A History of Types
Logic: A History of its Central Concepts
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2004 — conf
A Path to Faithful Formalizations of Mathematics.
MKM
Gueorgui I. Jojgov, Rob Nederpelt
2004 J jnl
A Refinement of de Bruijn's Formal Language of Mathematics.
J. Log. Lang. Inf.
Fairouz Kamareddine, Rob Nederpelt
2004 — conf
Rewriting for Fitch Style Natural Deductions.
RTA
Herman Geuvers, Rob Nederpelt
2003 — conf
Automath and Pure Type Systems.
Mathematics, Logic and Computation @ ICALP
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2003 — conf
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.
MKM Symposium
Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer
2003 J jnl
Revisiting the notion of function.
J. Log. Algebraic Methods Program.
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2002 J jnl
Formalizing Belief Revision in Type Theory.
Log. J. IGPL
Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt
2002 B conf
Parameters in Pure Type Systems.
LATIN
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2002 J jnl
Types in logic and mathematics before 1940.
Bull. Symb. Log.
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
2001 C conf
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms.
PPDP
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
2001 Misc conf
Refining the Barendregt Cube Using Parameters.
FLOPS
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
1999 J jnl
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.
Ann. Pure Appl. Log.
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
1998 J jnl
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.
Acta Informatica
Lex Bijlsma, Rob Nederpelt
1996 J jnl
A Useful lambda-Notation.
Theor. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1996 J jnl
A modern elaboration of the ramified theory of types.
Stud Logica
Twan Laan, Rob Nederpelt
1996 J jnl
Canonical Typing and Pi-Conversion in the Barendregt Cube.
J. Funct. Program.
Fairouz Kamareddine, Rob Nederpelt
1996 J jnl
The Barendregt Cube with Definitions and Generalised Reduction.
Inf. Comput.
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt
1995 J jnl
Refining Reduction in the Lambda Calculus.
J. Funct. Program.
Fairouz Kamareddine, Rob Nederpelt
1994 J jnl
A Unified Approach to Type Theory Through a Refined lambda-Calculus.
Theor. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1993 J jnl
On Stepwise Explicit Substitution.
Int. J. Found. Comput. Sci.
Fairouz Kamareddine, Rob Nederpelt
1980 A conf
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus.
CADE
Rob Nederpelt