andrejbauer | Lambda the Ultimate

Home » user account

andrejbauer

view
track

Personal information

Country:
Slovenia

Gender:
male

Biography:

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

Interests:

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

History

Member for:
18 years 37 weeks