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


18 years 46 weeks