Rob Nederpelt

Publication Activity (10 Years)

Years Active: 1980-2022
Publications (10 Years): 2

Top Topics

Complete Axiomatization

Top Venues

Fundam. Informaticae

Publications

Herman Geuvers, Rob Nederpelt
Characteristics of de Bruijn's early proof checker Automath. CoRR (2022)
Herman Geuvers, Rob Nederpelt
Characteristics of de Bruijn's early proof checker Automath. Fundam. Informaticae 185 (4) (2022)
Gueorgui I. Jojgov, Rob Nederpelt
A Path to Faithful Formalizations of Mathematics. MKM (2004)
Fairouz Kamareddine, Rob Nederpelt
A Refinement of de Bruijn's Formal Language of Mathematics. J. Log. Lang. Inf. 13 (3) (2004)
Herman Geuvers, Rob Nederpelt
Rewriting for Fitch Style Natural Deductions. RTA (2004)
Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electron. Notes Theor. Comput. Sci. 93 (2004)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Revisiting the notion of function. J. Log. Algebraic Methods Program. 54 (1-2) (2003)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Automath and Pure Type Systems. Electron. Notes Theor. Comput. Sci. 85 (7) (2003)
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Parameters in Pure Type Systems. LATIN (2002)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Types in logic and mathematics before 1940. Bull. Symb. Log. 8 (2) (2002)
Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt
Formalizing Belief Revision in Type Theory. Log. J. IGPL 10 (5) (2002)
Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Refining the Barendregt Cube Using Parameters. FLOPS (2001)
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP (2001)
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. Ann. Pure Appl. Log. 97 (1-3) (1999)
Lex Bijlsma, Rob Nederpelt
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Acta Informatica 35 (12) (1998)
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt
The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126 (2) (1996)
Fairouz Kamareddine, Rob Nederpelt
A Useful lambda-Notation. Theor. Comput. Sci. 155 (1) (1996)
Twan Laan, Rob Nederpelt
A modern elaboration of the ramified theory of types. Stud Logica 57 (2/3) (1996)
Fairouz Kamareddine, Rob Nederpelt
Canonical Typing and Pi-Conversion in the Barendregt Cube. J. Funct. Program. 6 (2) (1996)
Fairouz Kamareddine, Rob Nederpelt
Refining Reduction in the Lambda Calculus. J. Funct. Program. 5 (4) (1995)
Fairouz Kamareddine, Rob Nederpelt
A Unified Approach to Type Theory Through a Refined lambda-Calculus. Theor. Comput. Sci. 136 (1) (1994)
Fairouz Kamareddine, Rob Nederpelt
On Stepwise Explicit Substitution. Int. J. Found. Comput. Sci. 4 (3) (1993)
Rob Nederpelt
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus. CADE (1980)