"Benjamin" . "S\u00E9mantique d'un programme"@fr . "Filtres informatique"@fr . "Bit"@fr . . . "Condition"@fr . "Preuve de programme"@fr . "Programme"@fr . "Langage de programmation"@fr . "Principe de Poincar\u00E9"@fr . "Algorithme"@fr . . . "Poincar\u00E9 principle"@en . "Lambda-calcul"@fr . . "Ind\u00E9cidabilit\u00E9 algorithmique"@fr . <093841914> . "Norme"@fr . "Type systems"@en . "Fixpoints"@en . . "Term rewriting systems"@en . "Benjamin Wack" . "D\u00E9duction"@fr . "Rewriting"@en . "Codage de l'information"@fr . "Filtrage"@fr . "Boucle"@fr . "Fonction"@fr . "Typage"@fr . "Th\u00E9or\u00E8mes -- D\u00E9monstration automatique"@fr . "Syst\u00E8mes de informatique"@fr . "R\u00E9\u00E9criture"@fr . "Syntaxe d'un programme"@fr . "Erreur"@fr . "Lambda calculus"@en . "Wack" . "Stockage de l'information"@fr . "Pattern matching"@en . "Image num\u00E9rique"@fr . "S\u00E9quence d'instructions"@fr . "Lambda-calculus"@en . "Variable"@fr . "Rewriting calculus"@en . "Pixel"@fr .