If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Rob Nederpelt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Type Theory Mathematics
Formal Proof Mathematics
Formalization Mathematics
Lambda Calculus Mathematics
Formal Languages Mathematics
Type Systems Mathematics
Sort Mathematics
Exercise Mathematics

Research Output 1970 2014

11 Citations (Scopus)

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

Research output: Book/ReportBookAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
1 Citation (Scopus)

N.G. de Bruijn’s contribution to the formalization of mathematics

Geuvers, J. H. & Nederpelt, R. P., 2013, In : Indagationes Mathematicae. New Series. 24, 4, p. 1034-1049 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

Formal Languages
Lambda Calculus
Type Theory
1 Citation (Scopus)

A history of types

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (eds.). Elsevier, p. 451-511 (Handbook of the History of Logic; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Gottlob Frege
Logical Paradoxes
4 Citations (Scopus)
101 Downloads (Pure)

N.G. de Bruijn (1918–2012) and his road to Automath, the earliest proof checker

Dechesne, F. & Nederpelt, R. P., 2012, In : The Mathematical Intelligencer. 34, 4, p. 4-11

Research output: Contribution to journalArticleProfessional

Open Access

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. ed. London: King's College Publications. 386 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional

Student theses

Abstract interpretation of concurrent logic programs for analysis of variable sharing

Author: Dams, D., 14 Dec 1994

Supervisor: Gerth, R. T. (External person) (Supervisor 1) & Nederpelt Lazarom, R. (Supervisor 2)

Student thesis: Master

Analysis of a logic of authentication

Author: Schumacher, H., 30 Jun 1991

Supervisor: Hammer, D. (Supervisor 1), Luit, E. (Supervisor 2) & Nederpelt Lazarom, R. (Supervisor 2)

Student thesis: Master

An introduction to Automath

Author: Stulemeijer, W., 2007

Supervisor: Nederpelt Lazarom, R. (Supervisor 1)

Student thesis: Master


Bewijssystemen met definities

Author: Vos-Oerlemans, S., 30 Nov 1993

Supervisor: Nederpelt Lazarom, R. (Supervisor 1)

Student thesis: Master