Home » user account

comitative

Personal information


Russian Federation

male

Formal Semantics, Program Analysis, Program Transformation, Type Theory, Functional Programming, Logic Programming

History


21 years 23 weeks