Henk Barendregt

Henk Barendregt

Faculty of Science, Radboud University
Verified email at ru.nl
Cited by 16364
Lambda calculus proof-checking insight meditation
Henk Barendregt

Henk Barendregt

Emeritus professor of foundations of mathematics and computer science, Radboud …
Verified email at ru.nl
Cited by 8903
lambda calculus logic mathematics insight meditation cognitive science