polux

Personal information


logic, lambda calculus, rewriting languages

History


12 years 4 weeks