Mois de l'histoire des femmes : comment les innovations des femmes font avancer la programmation informatique View on ...

En programmation, la généricité d'une fonction repose sur son indépendance vis-à-vis du type, et éventuellement du nombre, de ses arguments. C'est un concept important pour un langage de haut niveau ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Les agents de la fonction publique apprécient de plus en plus leur nouvelle retraite progressive. L'administration s'inquiète d'un effet d'aubaine, un représentant syndical Force ouvrière pour les ...