Home » user account

codyroux

Personal information


phd in Loria, france in Pareo team


lambda calculus, dependent types, logic, termination

History


13 years 33 weeks