diff options
Diffstat (limited to 'experience/2020-03_nii.nix')
| -rw-r--r-- | experience/2020-03_nii.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix index 68357fa..0324f3d 100644 --- a/experience/2020-03_nii.nix +++ b/experience/2020-03_nii.nix @@ -31,7 +31,7 @@ { name = "internship report"; id = "aristoteFibrationalFrameworkNested2020"; - type = "Publications"; + type = "Writings"; } ]; description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games."; |