andrejbauer

Personal information


Slovenia

male

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


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

History


10 years 41 weeks