I'm a PhD student at the IT University of Copenhagen in the Programming, Logic and Semantics group.
Top network posts
- 49 Vertically centering a title page
- 19 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 →