default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRob Nederpelt
Person information
- affiliation: Eindhoven University of Technology, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1973
[b1]Robert Pieter Nederpelt Lazarom:
Strong normalization in a typed lambda calculus with lambda structured types. TU Eindhoven, 1973, pp. I-VII, 1-102
Journal Articles
- 2022
- [j14]Herman Geuvers, Rob Nederpelt:
Characteristics of de Bruijn's early proof checker Automath. Fundam. Informaticae 185(4): 313-336 (2022) - 2004
- [j13]Fairouz Kamareddine, Rob Nederpelt:
A Refinement of de Bruijn's Formal Language of Mathematics. J. Log. Lang. Inf. 13(3): 287-340 (2004) - 2003
- [j12]Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Revisiting the notion of function. J. Log. Algebraic Methods Program. 54(1-2): 65-107 (2003) - 2002
- [j11]Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Types in logic and mathematics before 1940. Bull. Symb. Log. 8(2): 185-245 (2002) - [j10]Tijn Borghuis
, Fairouz Kamareddine, Rob Nederpelt:
Formalizing Belief Revision in Type Theory. Log. J. IGPL 10(5): 461-500 (2002) - 1999
- [j9]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): 27-45 (1999) - 1998
- [j8]Lex Bijlsma, Rob Nederpelt:
Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Acta Informatica 35(12): 1007-1036 (1998) - 1996
- [j7]Roel Bloo, Fairouz Kamareddine, Rob Nederpelt:
The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126(2): 123-143 (1996) - [j6]Fairouz Kamareddine, Rob Nederpelt:
Canonical Typing and Pi-Conversion in the Barendregt Cube. J. Funct. Program. 6(2): 245-267 (1996) - [j5]Twan Laan, Rob Nederpelt:
A modern elaboration of the ramified theory of types. Stud Logica 57(2/3): 243-278 (1996) - [j4]Fairouz Kamareddine, Rob Nederpelt:
A Useful lambda-Notation. Theor. Comput. Sci. 155(1): 85-109 (1996) - 1995
- [j3]Fairouz Kamareddine, Rob Nederpelt:
Refining Reduction in the Lambda Calculus. J. Funct. Program. 5(4): 637-651 (1995) - 1994
- [j2]Fairouz Kamareddine, Rob Nederpelt:
A Unified Approach to Type Theory Through a Refined lambda-Calculus. Theor. Comput. Sci. 136(1): 183-216 (1994) - 1993
- [j1]Fairouz Kamareddine, Rob Nederpelt:
On Stepwise Explicit Substitution. Int. J. Found. Comput. Sci. 4(3): 197-240 (1993)
Conference and Workshop Papers
- 2004
- [c8]Gueorgui I. Jojgov, Rob Nederpelt:
A Path to Faithful Formalizations of Mathematics. MKM 2004: 145-159 - [c7]Herman Geuvers, Rob Nederpelt:
Rewriting for Fitch Style Natural Deductions. RTA 2004: 134-154 - 2003
- [c6]Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Automath and Pure Type Systems. Mathematics, Logic and Computation @ ICALP 2003: 30-49 - [c5]Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer:
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. MKM Symposium 2003: 102-117 - 2002
- [c4]Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Parameters in Pure Type Systems. LATIN 2002: 371-385 - 2001
- [c3]Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Refining the Barendregt Cube Using Parameters. FLOPS 2001: 375-390 - [c2]Fairouz Kamareddine, Roel Bloo, Rob Nederpelt:
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP 2001: 16-27 - 1980
- [c1]Rob Nederpelt:
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus. CADE 1980: 182-194
Reference Works
- 2012
- [r1]Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
A History of Types*. Logic: A History of its Central Concepts 2012: 451-511
Informal and Other Publications
- 2022
- [i1]Herman Geuvers, Rob Nederpelt:
Characteristics of de Bruijn's early proof checker Automath. CoRR abs/2203.01173 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
