Search the dblp DataBase

Publications of Author

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