Henk Barendregt⁠
Henk Barendregt's avatar
Mathematical logician, specialized in lambda calculus. Writing on the Buddhadhamma, that oral and written tradition about the human mind, inspiring practice towards mental freedom.