Dimitri Hendriks | Lambda the Ultimate

Dimitri Hendriks

view
track

Personal information

Country:
Netherlands

Gender:
male

Interests:

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

History

Member for:
20 years 34 weeks