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. An introduction	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
Logical reasoning. A first course	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

This page was built for person: Rob Nederpelt