Henk Barendregt

Source: Wikipedia, the free encyclopedia.
Henk Barendregt during his visit in Prague in April 2012

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam)[1] is a Dutch logician, known for his work in lambda calculus and type theory.

Life and work

Barendregt studied

cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University
.

Since 1986, Barendregt has taught at

ETH Zürich
, Siena, and Kyoto.

Barendregt was elected a member of

Spinozapremie for 2002, the highest scientific award in the Netherlands.[4] In 2002 he was knighted in the Orde van de Nederlandse Leeuw
.

Barendregt received an honorary doctorate from Heriot-Watt University in 2015.[5]

Selected publications

  • H.P. Barendregt (1984). The Lambda Calculus — Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Vol. 103. Amsterdam: North-Holland.
    ISBN 0-444-87508-5. — See Errata
  • Y. Toyama;
    LNCS
    . Vol. 355. Springer. pp. 477–491.
  • H.P. Barendregt (2001). "Computing and Proving (invited lecture)". In Middeldorp, A. (ed.). Rewriting Techniques and Applications, 12th Int. Conf., RTA-01. LNCS. Vol. 2051. Springer.
  • H.P. Barendregt, W. Dekkers and R. Statman (2013). Lambda Calculus with Types. Perspectives in Logic. Cambridge University Press.
    ISBN 978-052-176-614-2
    .
  • H.P. Barendregt and G. Manzonetto (2022). A Lambda Calculus Satellite. Mathematical Logic and Foundations. College Publications.
    ISBN 978-1-84890-415-6
    .

References

  1. ISBN 978-90-9022446-6. Here: Preface
    , p.5
  2. ^ "Hendrik Barendregt". Academia Europaea. Archived from the original on 28 March 2019.
  3. ^ "Henk Barendregt". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 21 May 2020.
  4. ^ "NWO Spinoza Prize 2002". Netherlands Organisation for Scientific Research. 5 September 2014. Retrieved 30 January 2016.
  5. ^ "Edinburgh Campus graduations - News | Heriot-Watt University Edinburgh". www.hw.ac.uk. Retrieved 2016-03-24.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Henk_Barendregt&oldid=1152837201"