Robert Pieter Nederpelt

Country : Pays-Bas
Language : anglais
Gender : masculin
Note :
Mathématicien. - En poste : Department of mathematics and computer sciences, Eindhoven university of technology, Pays-Bas (en 1994). - Nom complet : Nederpelt Lazarom, Robert Pieter
Variants of the name : Rob Pieter Nederpelt
Rob Nederpelt
ISNI : ISNI 0000 0001 1051 5639

Activities of Robert Pieter Nederpelt (3 resources in data.bnf.fr)

Textual works (3)

Type theory and formal proof
A modern perspective on type theory
Selected papers on Automath with Robert Pieter Nederpelt as Éditeur scientifique

See also

Tools

Share the page

Data downloading