andrejbauer

Personal information


Slovenia

male

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


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

History


16 years 51 weeks