diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-07-27 15:38:51 +0200 |
| commit | 313046d9f63482f32f7bf811ab93ff5b403f8a79 (patch) | |
| tree | a51926776f1e8c50dabfec58930f5f236c1f5d95 /experience/2020-03_nii.nix | |
| parent | f9d5943d2ba2cf8a756a7b2ed97f4d9327ec4025 (diff) | |
Publications -> Writings
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."; |