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 2020-01-24 20:47:32 +00:00
6d8c70a8c6 Beginning of metatheoretic properties.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-23 20:47:32 +00:00
b2a2ca4bc4 Type substitution.
874b9182ad Add missing case to the definition of FTV.
518739f291 Syntactic categories.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-10 20:47:32 +00:00
2c107f0234 Capture-avoiding substitution.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-09 20:47:32 +00:00
fbce5d3ff9 Dynamic semantics.
dhil synced commits to master at dhil/phd-dissertation from mirror 2020-01-08 20:47:32 +00:00
91ffbe0fcd Typing rules.
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-20 20:47:32 +00:00
aaa862b1c5 Typing
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-20 12:47:32 +00:00
f7ab2dbea6 WIP
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-18 20:47:32 +00:00
673c31718f Progress
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-16 20:47:32 +00:00
d4f7f8a853 On the syntax of types and terms.
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-13 20:47:32 +00:00
3d6179970e Update
1429a0b940 Update README
e52ccf66c0 Progress.
Compare 3 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-12-05 20:47:32 +00:00
6102f9ad90 Bibliography configuration.
592b2f4fdf Calculi macros.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-11-27 20:47:32 +00:00
f69c94d63b Alternative tentative structure.
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-11-26 12:47:32 +00:00
897ab3ed63 Update the gitignore ruleset.
120367f9d6 Another potential thesis title and structure.
Compare 2 commits »
dhil synced commits to master at dhil/phd-dissertation from mirror 2019-11-18 20:45:12 +00:00
ddd151a76c Merge
6553c629ec Font tweaking.
Compare 2 commits »
dhil created repository dhil/phd-dissertation 2019-10-26 13:21:24 +01:00