Hendrik Pieter Barendregt

Country :Pays-Bas
Language :anglais
Note :
Mathématicien et informaticien. - En poste à la Faculté de mathématiques et d'informatique, Université de Nijmegen, Pays-Bas (en 1994)
Variant of the name :Henk Barendregt
ISNI :ISNI 0000 0001 0932 8983

Occupations

Auteur du texte2 documents

  • The Lambda calculus

    its syntax and semantics

    Material description : XIV-615 p.
    Note : Note : Bibliogr. p. 580-591. Index
    Edition : Amsterdam ; New York ; Oxford : North-Holland , 1981

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb356228366]
  • The Lambda calculus

    its syntax and semantics

    Material description : XV-621 p.
    Note : Note : Bibliogr. p. 585-598. Index
    Edition : Amsterdam : North-Holland , 1984

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34818718f]

Éditeur scientifique1 document

  • Types for proofs and programs

    International workshop TYPES'93, Nijmegen, the Netherlands, May 24-28, 1993, selected papers

    Material description : 383 p.
    Note : Note : Bibliogr. à la fin de chaque chap.
    Edition : Berlin ; New York : Springer , cop. 1994
    Éditeur scientifique : Tobias Nipkow
    Auteur du texte : International workshop TYPES (1993 ; Nimègue, Pays-Bas)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37462032c]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • 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

Variant of the name

  • Henk Barendregt

Closely matched pages