diff options
| author | aristote <quentin.aristote@irif.fr> | 2025-08-01 12:44:41 +0200 |
|---|---|---|
| committer | aristote <quentin.aristote@irif.fr> | 2025-08-01 12:44:41 +0200 |
| commit | 7132af9e3a7f84cebe287b3174f2d4a9c25252ca (patch) | |
| tree | 7d7ef9c12a37289725f0773049f50f2c3717c629 /experience/2020-03_nii.nix | |
| parent | ac54a9c2e1f1dd6abd56be9f9a02c7741ab9b731 (diff) | |
| parent | 152a5c4697c257b7eeb91ad1a3dca74c44973f91 (diff) | |
Merge branch 'new-pub-format'
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."; |