dblp.uni-trier.dewww.uni-trier.de

Rob Nederpelt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2004
21EEGueorgui I. Jojgov, Rob Nederpelt: A Path to Faithful Formalizations of Mathematics. MKM 2004: 145-159
20EEHerman Geuvers, Rob Nederpelt: Rewriting for Fitch Style Natural Deductions. RTA 2004: 134-154
19EEGueorgui I. Jojgov, Rob Nederpelt, M. Scheffer: Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. Electr. Notes Theor. Comput. Sci. 93: 102-117 (2004)
18EEFairouz Kamareddine, Rob Nederpelt: A Refinement of de Bruijn's Formal Language of Mathematics. Journal of Logic, Language and Information 13(3): 287-340 (2004)
2003
17EEFairouz Kamareddine, Twan Laan, Rob Nederpelt: Automath and Pure Type Systems. Electr. Notes Theor. Comput. Sci. 85(7): (2003)
16EEFairouz Kamareddine, Twan Laan, Rob Nederpelt: Revisiting the notion of function. J. Log. Algebr. Program. 54(1-2): 65-107 (2003)
2002
15EERoel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Parameters in Pure Type Systems. LATIN 2002: 371-385
14EEFairouz Kamareddine, Twan Laan, Rob Nederpelt: Types in logic and mathematics before 1940. Bulletin of Symbolic Logic 8(2): 185-245 (2002)
13EETijn Borghuis, Fairouz Kamareddine, Rob Nederpelt: Formalizing Belief Revision in Type Theory. Logic Journal of the IGPL 10(5): 461-500 (2002)
2001
12EEFairouz Kamareddine, Twan Laan, Rob Nederpelt: Refining the Barendregt Cube Using Parameters. FLOPS 2001: 375-390
11 Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP 2001: 16-27
1999
10 Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. Ann. Pure Appl. Logic 97(1-3): 27-45 (1999)
1998
9EELex Bijlsma, Rob Nederpelt: Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Acta Inf. 35(12): 1007-1036 (1998)
1996
8 Roel Bloo, Fairouz Kamareddine, Rob Nederpelt: The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126(2): 123-143 (1996)
7 Fairouz Kamareddine, Rob Nederpelt: Canonical Typing and Pi-Conversion in the Barendregt Cube. J. Funct. Program. 6(2): 245-267 (1996)
6 Twan Laan, Rob Nederpelt: A modern elaboration of the ramified theory of types. Studia Logica 57(2/3): 243-278 (1996)
5EEFairouz Kamareddine, Rob Nederpelt: A Useful lambda-Notation. Theor. Comput. Sci. 155(1): 85-109 (1996)
1995
4 Fairouz Kamareddine, Rob Nederpelt: Refining Reduction in the Lambda Calculus. J. Funct. Program. 5(4): 637-651 (1995)
1994
3 Fairouz Kamareddine, Rob Nederpelt: A Unified Approach to Type Theory Through a Refined lambda-Calculus. Theor. Comput. Sci. 136(1): 183-216 (1994)
1993
2 Fairouz Kamareddine, Rob Nederpelt: On Stepwise Explicit Substitution. Int. J. Found. Comput. Sci. 4(3): 197-240 (1993)
1980
1 Rob Nederpelt: An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus. CADE 1980: 182-194

Coauthor Index

1Lex Bijlsma [9]
2Roel Bloo [8] [10] [11] [15]
3Tijn Borghuis [13]
4Herman Geuvers [20]
5Gueorgui I. Jojgov [19] [21]
6Fairouz Kamareddine [2] [3] [4] [5] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [18]
7Twan Laan [6] [12] [14] [15] [16] [17]
8M. Scheffer [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)