Home » user account

andrejbauer

Personal information


Slovenia

male

http://math.andrej.com/category/papers/


computable and constructive mathematics, semantics of programming languages, category theory

History


12 years 32 weeks