summaryrefslogtreecommitdiff
path: root/experience/2022-03_irif.nix
diff options
context:
space:
mode:
Diffstat (limited to 'experience/2022-03_irif.nix')
-rw-r--r--experience/2022-03_irif.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index 682d652..f2f2d4e 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -19,6 +19,7 @@
{
name = "internship report";
id = "aristoteApplicationsCategoricalFramework2022";
+ type = "Publications";
}
];
description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";