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


13 years 47 weeks