Back to search results

Person

Prof.dr. H.P. Barendregt

Pagina-navigatie:

Update Persondata

Expertise	Logic; Lambda calculus; Type theory
Expertise (NL)	Logica; Lambda calculus; Type theorie
Digital Author ID	info:eu-repo/dai/nl/071630848
KNAW member	Science Division
Grants/prizes	NWO - Spinozapremie 2002

Active as

Professor
Organisation	Intelligent Systems (RU)
Chair (EN)	Foundations of mathematics and computer science
Chair (NL)	Grondslagen van de wiskunde en informatica
Phone	+31-24-3652642
Email	henk -at- cs. ru. nl
URL	http://www.cs.kun.nl/~henk

Publications

Mindfulness meditation associated with alterations in bottom-up processing: Psychophysiological evidence for reduced reactivity
The regulation of brain states by neuroactive substances distributed via the cerebrospinal fluid; a review.
Greater efficiency in attentional processing related to mindfulness meditation.
Oxytocin-messages via the cerebrospinal fluid: behavioral effects; a review.
Applications of infinitary lambda terms

All publications..

Current research

(the most recent research is at the top)
Project leader	Categorical and ALgebraic MOdels of Computation
Project leader	Mind-Brain-Mindfulness: Towards a wide-spectrum model of the mind
Project leader	Lambda calculus and Type Theory
Project leader	Formal Methods

Completed research projects

(the most recent research is at the top)
Supervisor	The Origin and Well-Formedness of Tonal Pitch Structures
Supervisor	Pathways to happiness. Psychological resources for happiness

Classification

D11000	Mathematics
D16000	Computer science

Go to page top
Go back to contents
Go back to site navigation