Home » user account

Alex1

Personal information


Scotland

female

Programming Styles (CPS, Pointfree, ...), Programming Languages, Type Theory, Logic, Logic Programming, Computer Theorem Proving, Abstract Rewriting, Molecular Biology.

History


14 years 39 weeks