Home » user account

andrejbauer

Personal information


Slovenia

male

http://andrej.com

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


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

History


1 year 38 weeks