Dutch mathematician
Verify ownership in 2 minutes. Keeps the profile accurate and discoverable.
Hendrik Pieter (Henk) Barendregt is a Dutch logician, known for his work in lambda calculus and type theory.
The six component signals behind the Fame score, and their ranks across the leaderboards.
Similar profiles worth watching