Barendregt, Henk

Barendregt, Henk
All Links

Share this:

Details of Barendregt, Henk

About Barendregt, Henk
Barendregt, Henk- Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Education