I'm a PhD student at the IT University of Copenhagen in the Programming, Logic and Semantics group.
Member for 9 years, 2 months
0 profile views
Last seen Jul 26 '10 at 22:36
Top network posts
- 43 Vertically centering a title page
- 17 Can pdflatex (or any tex package) automatically rescale included images which have been reduced in size?
- 14 Proof of a unique homomorphism from an initial object
- 7 "class A succeeds class B" means in Scala reference?
- 5 Repeated application of functions
- View more network posts →