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


16 years 31 weeks