The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rob Nederpelt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002