Rob Nederpelt

Available identifiers

zbMath Open nederpelt.robMaRDI QIDQ740480

List of research outcomes

Publication	Date of Publication	Type
Characteristics of de Bruijn’s early proof checker Automath	2022-07-14	Paper
Characteristics of de Bruijn's early proof checker Automath	2022-03-02	Paper
Type Theory and Formal Proof	2014-10-22	Paper
N. G. de Bruijn's contribution to the formalization of mathematics	2014-09-03	Paper
Automath and Pure Type Systems	2013-06-06	Paper
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker	2013-02-15	Paper
Rewriting Techniques and Applications	2009-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q3376918	2006-03-27	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4664921	2005-04-09	Paper
A modern perspective on type theory. From its origins until today	2004-11-25	Paper
A refinement of de Bruijn's formal language of mathematics	2004-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3044340	2004-08-11	Paper
Formalizing Belief Revision in Type Theory	2003-07-16	Paper
Revisiting the notion of function	2003-06-25	Paper
Types in Logic and Mathematics before 1940	2003-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q2763649	2002-01-21	Paper
On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations	2000-02-15	Paper
Dijkstra-Scholten predicate calculus: Concepts and misconceptions	1999-06-13	Paper
A useful \(\lambda\)-notation	1997-09-09	Paper
A unified approach to type theory through a refined \(\lambda\)-calculus	1997-02-27	Paper
A modern elaboration of the ramified theory of types	1997-01-16	Paper
Canonical typing and ∏-conversion in the Barendregt Cube	1996-11-17	Paper
The Barendregt cube with definitions and generalised reduction	1996-07-03	Paper
Refining reduction in the lambda calculus	1996-06-05	Paper
ON STEPWISE EXPLICIT SUBSTITUTION	1994-04-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rob Nederpelt