Henk Barendregt

Hendrik Pieter (Henk) Barendregt (nacido el 18 de diciembre de 1947 en Ámsterdam ) ^[1] es un lógico holandés , conocido por su trabajo en cálculo lambda y teoría de tipos .

vida y trabajo

Barendregt estudió lógica matemática en la Universidad de Utrecht , obteniendo su maestría en 1968 y su doctorado en 1971, ambos cum laude , con Dirk van Dalen y Georg Kreisel . Después de un puesto postdoctoral en la Universidad de Stanford , enseñó en la Universidad de Utrecht .

Desde 1986, Barendregt ha enseñado en la Universidad Radboud de Nijmegen , donde ahora ocupa la cátedra de Fundamentos de Matemáticas e Informática. Su grupo de investigación trabaja en Matemática Interactiva Constructiva. También es profesor adjunto en la Universidad Carnegie Mellon , Pittsburgh, EE.UU. Ha sido académico visitante en Darmstadt , ETH Zürich , Siena y Kyoto.

Barendregt fue elegido miembro de la Academia Europaea en 1992. ^[2] En 1997, Barendregt fue elegido miembro de la Real Academia de Artes y Ciencias de los Países Bajos . ^[3] El 6 de febrero de 2003, Barendregt recibió el Spinozapremie de 2002, el premio científico más importante de los Países Bajos. ^[4] En 2002 fue nombrado caballero de la Orde van de Nederlandse Leeuw .

Barendregt recibió un doctorado honorario de la Universidad Heriot-Watt en 2015. ^[5]

Publicaciones Seleccionadas

HP Barendregt (1984). El cálculo Lambda: su sintaxis y semántica . Estudios de Lógica y Fundamentos de las Matemáticas. vol. 103. Ámsterdam: Holanda Septentrional. ISBN 0-444-87508-5.— Ver erratas
Y. Toyama; JW Klop ; HP Barendregt (1989). "Terminación por Suma Directa de Sistemas de Reescritura de Términos Lineales Izquierdos (Borrador Preliminar)". En Nachum Dershowitz (ed.). Técnicas y Aplicaciones de Reescritura, 3º Int. Conf., RTA-89 . LNCS . vol. 355. Saltador. págs. 477–491.
HP Barendregt (2001). "Computación y demostración (conferencia invitada)". En Middeldorp, A. (ed.). Técnicas y aplicaciones de reescritura, 12º Int. Conf., RTA-01 . LNCS. vol. 2051. Saltador.
HP Barendregt, W. Dekkers y R. Statman (2013). Cálculo Lambda con tipos . Perspectivas en lógica. Prensa de la Universidad de Cambridge. ISBN 978-052-176-614-2.
HP Barendregt y G. Manzonetto (2022). Un satélite de cálculo Lambda . Lógica y Fundamentos Matemáticos. Publicaciones universitarias. ISBN 978-1-84890-415-6.

Referencias

^ Erik Barendsen; Herman Geuvers; Venanzio Capretta; Milad Niqui, eds. (2007). Reflexiones sobre la teoría de tipos, el cálculo Lambda y la mente: ensayos dedicados a Henk Barendregt con motivo de su 60 cumpleaños. Universidad de Nimega. ISBN 978-90-9022446-6.Aquí: Prefacio, p.5
^ "Hendrik Barendregt". Academia Europaea. Archivado desde el original el 28 de marzo de 2019.
^ "Henk Barendregt". Real Academia de Artes y Ciencias de los Países Bajos. Archivado desde el original el 21 de mayo de 2020.
^ "Premio Spinoza NOM 2002". Organización Holandesa para la Investigación Científica. 5 de septiembre de 2014 . Consultado el 30 de enero de 2016 .
^ "Graduaciones del campus de Edimburgo - Noticias | Universidad Heriot-Watt de Edimburgo". www.hw.ac.uk. Consultado el 24 de marzo de 2016 .

enlaces externos

Página de inicio de Barendregt
Perfil de autor en la base de datos zbMATH