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

Research Output 1970 2014

7 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
Gottlob Frege
Calculi
Mathematics
David Hilbert
3 Citations (Scopus)

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