Daniel Hillerström dhil
0 Followers · 0 Following
Repositories
1
 Projects Packages Public Activity Starred Repositories
dhil synced commits to master at dhil/phd-dissertation from mirror 2022-03-18 22:48:15 +00:00
8679803146 Fix typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-22 18:56:07 +00:00
d7bd881a00 Update latest draft
f5685fe70d Chapter 8
7f3503153f Minor fixes
40c6505ae2 Simplify
b897751a38 Note on reduction relation
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-21 18:56:06 +00:00
7063acb4e7 Related work
c9ff1d9af8 Chapter 3
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-21 02:56:06 +00:00
fff15c9c83 Section 2.6 and 2.7
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-20 18:56:06 +00:00
a24a33dcf8 Section 2.5
6c128a1181 Section 2.4
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-17 18:56:06 +00:00
98784c59ab Section 2.3
6492391ed4 Section 2.2
cea34c85e1 Section 2.1
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-17 02:56:06 +00:00
40b1144d9b Chapter 2 outline, relation to prior work, and terminology.
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-12-14 02:56:06 +00:00
3067bfb939 fix chapter 2 intro
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-11-24 18:56:05 +00:00
83b5f7db99 Start implementing the corrections.
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-08-13 19:21:53 +01:00
981b0d48f8 Update README with viva date.
ee8a4ab2dd Fix a couple of typos
3fda920eae Minor improvement
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-08-13 03:21:53 +01:00
0b198e7a25 Add paper references
740413ed1b Viva slides
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-06-07 18:51:54 +01:00
7ed7a44d61 Package the draft as an archive
350d741204 List appendices
f8697be4c7 Remark that the final revision will be made available.
f9b8234221 Link to examiners
67598cee1e Dissertation overview
Compare 8 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-06-02 02:41:53 +01:00
3b7dd13e3d typo
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-06-01 18:41:53 +01:00
a42bfc25ab Update acknowledgements
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-31 10:41:53 +01:00
97a4a806e1 Fix typos
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-31 02:41:53 +01:00
0e02128d03 Rewording. THANKS AGAIN AMNA.
aa2b963d0e Fix grammar
2f494aae67 Fix grammar
a36b1cf0d4 Another typo
53b54056f8 Fix typo - THANKS AMNA
Compare 8 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-30 18:41:53 +01:00
69a2c881b7 Declaration signature
6e5d7b01df Acknowledgements
49e53bac03 Acknowledgements
4834a6e5d3 Final example
Compare 4 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-30 02:41:53 +01:00
3f91ab595e Fix rendering of type erasure lemma
333452bed2 Remove todo
51429afdd8 Update related work Chapter 5
e52cc41d40 Dybvig et al. taxonomy
b2eb9334ca Fix wording
Compare 6 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-29 18:41:53 +01:00
363628c1d3 Consistency
664956251c another example
d18a5e3058 Syntactic sugar
00f4264547 Minor fix
5597c9657b Lay summary
Compare 5 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2021-05-29 10:41:53 +01:00
8b3660b0ce WIP