codyroux | Lambda the Ultimate

codyroux

view
track

Personal information

Biography:

phd in Loria, france in Pareo team

Interests:

lambda calculus, dependent types, logic, termination

History

Member for:
15 years 24 weeks