Henk Barendregt
matematician olandez · n. 1947 · 1 titlu
Hendrik Pieter (Henk) Barendregt este un logician olandez, cunoscut pentru contribuțiile sale în domeniul calculului lambda și al teoriei tipurilor.
