Notice de personne

  • Notice
Barendregt, Hendrik Pieter (1947-....) forme internationale

Nationalité(s) : 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

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
Consultée(s) en vain : 
Encyclopedic dictionary of mathematics, 1987



Identifiant international :  ISNI 0000 0001 0932 8983 , cf. http://isni.org/isni/0000000109328983
Notice n° : FRBNF12482070

Création : 95/09/12
Mise à jour : 95/09/22

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (3)