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


17 years 34 weeks