Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1970 2014

9 Citaties (Scopus)

Type theory and formal proof : an introduction

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
Exercise
1 Citaat (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, blz. 1034-1049 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Formalization
Formal Languages
Lambda Calculus
Type Theory
Sort
1 Citaat (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. (redactie). Elsevier, blz. 451-511 (Handbook of the History of Logic; vol. 11)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

History
Gottlob Frege
Calculi
Mathematics
David Hilbert
3 Citaties (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, blz. 4-11

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

Open Access
Bestand
Roads

Logical reasoning : a first course

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Scriptie

Abstract interpretation of concurrent logic programs for analysis of variable sharing

Auteur: Dams, D., 14 dec 1994

Begeleider: Gerth, R. T. (Externe persoon) (Afstudeerdocent 1) & Nederpelt Lazarom, R. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Analysis of a logic of authentication

Auteur: Schumacher, H., 30 jun 1991

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

Scriptie/masterproef: Master

An introduction to Automath

Auteur: Stulemeijer, W., 2007

Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Bewijssystemen met definities

Auteur: Vos-Oerlemans, S., 30 nov 1993

Begeleider: Nederpelt Lazarom, R. (Afstudeerdocent 1)

Scriptie/masterproef: Master