Anubis est un langage de programmation informatique. C'est un langage fonctionnel avec type créé en 2000 par le mathématicien français Alain Prouté en se basant sur une partie de mathématiques au sein de la logique, nommée la théorie des catégories.
Anubis est un langage de programmation informatique. C'est un langage fonctionnel avec type créé en 2000 par le mathématicien français Alain Prouté en se basant sur une partie de mathématiques au sein de la logique, nommée la théorie des catégories. (fr)
Anubis est un langage de programmation informatique. C'est un langage fonctionnel avec type créé en 2000 par le mathématicien français Alain Prouté en se basant sur une partie de mathématiques au sein de la logique, nommée la théorie des catégories. (fr)
Anubis est un langage de programmation informatique. C'est un langage fonctionnel avec type créé en 2000 par le mathématicien français Alain Prouté en se basant sur une partie de mathématiques au sein de la logique, nommée la théorie des catégories. (fr)
Anubis est un langage de programmation informatique. C'est un langage fonctionnel avec type créé en 2000 par le mathématicien français Alain Prouté en se basant sur une partie de mathématiques au sein de la logique, nommée la théorie des catégories. (fr)