https://navid-roux.netlify.app/authors/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tag/diagram-operators/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tag/formal-systems/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tag/mmt/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tag/research/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tags/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/talk/2021-lfmtp-translating-type-theories/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/tag/university/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/talk/2021-kwarc-seminar-logrels/2021-07-27T21:13:47+02:00https://navid-roux.netlify.app/post/2020-12-19/embrace-multisets-prime-factorization-gcd-and-lcm/2021-02-09T19:50:47+01:00https://navid-roux.netlify.app/tag/math/2021-02-09T20:11:56+01:00https://navid-roux.netlify.app/post/2020-12-18/embrace-multisets-relations-series/2021-02-09T20:11:56+01:00https://navid-roux.netlify.app/project/diagram-operators/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/author/florian-rabe-advisor/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/project/frameit/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/tag/frameit/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/author/many-others-see-project-site/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/project/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/project/fiddling-with-mps/2020-11-21T19:18:34+01:00https://navid-roux.netlify.app/tag/research-in-software-engineering/2021-07-27T20:54:32+02:00https://navid-roux.netlify.app/talk/2020-lfmtp-diagram-operators-in-a-logical-framework/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2020-06-29/presentation-of-diagram-operators-in-a-logical-framework-at-lfmtp-2020/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2020-05-15/frameit-project-paper-accepted-at-cicm-2020/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/talk/2020-wadt-functorial-diagram-operators/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2020-04-29/presentation-of-functorial-diagram-operators-at-wadt-2020/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/freenode-math-chat/2021-02-09T19:16:44+01:00https://navid-roux.netlify.app/tag/nice-short-exercises/2021-02-09T19:16:44+01:00https://navid-roux.netlify.app/post/2020-04-15/short-exercise-transfinite-closure-in-analysis/2021-02-09T19:16:44+01:00https://navid-roux.netlify.app/tag/crypto/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2020-04-04/the-one-time-pad-generalized-to-groups/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2020-02-02/first-supervision-of-mini-childrens-birthday-at-our-ninja-gym/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/ninja-warrior/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/sports/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/talk/2020-kwarc-seminar-composition-of-prog-languages/2021-07-27T20:54:32+02:00https://navid-roux.netlify.app/post/2020-01-06/ninja-warrior-coaching-hints-german/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/bsc-thesis/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/mathematical-knowledge-management/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/meta/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/2019-10-15/on-creating-this-blog/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/tag/thesis/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/talk/2019-bsc-thesis-presentation/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/post/1-01-01/2021-01-04T20:29:17+01:00https://navid-roux.netlify.app/categories/https://navid-roux.netlify.app/author/navid-roux/2020-11-15T22:26:14+01:00https://navid-roux.netlify.app/post/2020-11-15T17:09:03+01:00https://navid-roux.netlify.app/publication_types/https://navid-roux.netlify.app/publication/2020-11-21T18:11:03+01:00https://navid-roux.netlify.app/talk/2020-11-15T17:09:03+01:00