Henk Barendregt

The | lambda-Calculus.

Harold T. Hodes, Henk Barendregt · The Philosophical Review · 1988 · 566 citations

Mathematical Programming, Engineering, Automated Reasoning +3

A filter lambda model and the completeness of type assignment

Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini · Journal of Symbolic Logic · 1983 · 494 citations

Completeness Result, Engineering, Generic Programming +11

Greater efficiency in attentional processing related to mindfulness meditation

Paul A. M. van den Hurk, Fabio Giommi, Stan Gielen et al. · Quarterly Journal of Experimental Psychology · 2009 · 281 citations

Cognitive Science, Neuropsychology, Experimental Psychology +14

The efficacy of mindfulness-based cognitive therapy in recurrent depressed patients with and without a current depressive episode: a randomized controlled trial

Joël R. van Aalderen, A. Rogier T. Donders, Fabio Giommi et al. · Psychological Medicine · 2011 · 260 citations · Full text

Introduction to generalized type systems

Henk Barendregt · Journal of Functional Programming · 1991 · 227 citations · Full text

Generalized Type Systems, Engineering, Generic Programming +10