http://d-nb.info/gnd/124647219




Personen
Link zu diesem Datensatz http://d-nb.info/gnd/124647219
Person Barendregt, Hendrik P.
Andere Namen Barendregt, Hendrik Pieter
Barendregt, Henk
Barendregt, Henk P.
Barendregt, H. P.
Quelle LCAuth
Zeit Lebensdaten: 1947-
Land Niederlande (XA-NL)
Beruf(e) MathematikerInformatiker
Beziehungen zu Organisationen Radboud Universiteit Nijmegen
Typ Person (piz)
Beteiligt an 1 Publikation
  1. Types for proofs and programs
    Berlin : Springer, 1994