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
Exercise
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

Formalization
Formal Languages
Lambda Calculus
Type Theory
Sort
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

History
Calculi
Gottlob Frege
Logical Paradoxes
Prehistory
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
File
Roads

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

File

Bewijssystemen met definities

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

Supervisor: Nederpelt Lazarom, R. (Supervisor 1)

Student thesis: Master