R. P. Nederpelt

Available identifiers

zbMath Open nederpelt.r-pMaRDI QIDQ1078189

List of research outcomes

Publication	Date of Publication	Type
Faithfully reflecting the structure of informal mathematical proofs into formal type theories	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4278024	1994-02-01	Paper
Bijections between formulae and trees which are compatible with equivalences of the type ((f\(\circ g)\circ h)\sim ((f\circ h)\circ g)\)	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880323	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3050396	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616143	1970-01-01	Paper

Research outcomes over time

This page was built for person: R. P. Nederpelt