Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=124647219



Treffer 1 von 1 < < > <



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





Treffer 1 von 1
< < > <


E-Mail-IconAdministration