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