Home » user account

comitative

Personal information


Russian Federation

male

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

History


20 years 22 weeks