Notice de personne
- Notice
Barendregt, Hendrik Pieter (1947-....) forme internationale
Pays :
Pays-Bas
Langue(s) :
anglais
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1947-12-18
Mathématicien et informaticien. - En poste à la Faculté de mathématiques et d'informatique,
Université de Nijmegen, Pays-Bas (en 1994).
Forme(s) rejetée(s) :
< Barendregt, Henk
< Barendregt, Henk
Source(s) :
Lambda calculus : its syntax and semantics / H. P. Barendregt, 1984 . - Types for proofs and programs : international workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers / Henk Barendregt, Tobias Nipkow, eds., 1994
LCNA (CD OCLC), 1995-06
Lambda calculus : its syntax and semantics / H. P. Barendregt, 1984 . - Types for proofs and programs : international workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers / Henk Barendregt, Tobias Nipkow, eds., 1994
LCNA (CD OCLC), 1995-06
Consultée(s) en vain :
Encyclopedic dictionary of mathematics, 1987
Encyclopedic dictionary of mathematics, 1987
Identifiant international de l'autorité :
ISNI 0000 0001 0932 8983
, cf.
http://isni.org/isni/0000000109328983
Identifiant de la notice : ark:/12148/cb12482070f
Notice n° :
FRBNF12482070
Création :
95/09/12
Mise à jour :
95/09/22