Home » user account

Dimitri Hendriks

Personal information


Netherlands

male

lambda calculus, type theory, automated theorem proving, term rewriting, proof assistants, formalizing mathematics

History


20 years 18 weeks