https://data.archives-ouvertes.fr/author/755961

https://data.archives-ouvertes.fr/author/755961

http://xmlns.com/foaf/0.1/topic_interest Fixpoints
http://xmlns.com/foaf/0.1/topic_interest Théorèmes -- Démonstration automatique
http://xmlns.com/foaf/0.1/topic_interest Sémantique d'un programme
http://xmlns.com/foaf/0.1/topic_interest Réécriture
http://xmlns.com/foaf/0.1/topic_interest Norme
http://xmlns.com/foaf/0.1/topic_interest Indécidabilité algorithmique
http://xmlns.com/foaf/0.1/topic_interest Bit
http://xmlns.com/foaf/0.1/topic_interest Variable
http://www.w3.org/2002/07/owl#sameAs 093841914
http://xmlns.com/foaf/0.1/topic_interest Erreur
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Filtrage
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Lambda-calculus
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/firstName Benjamin
http://xmlns.com/foaf/0.1/topic_interest Systèmes de informatique
http://xmlns.com/foaf/0.1/topic_interest Filtres informatique
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Rewriting
http://xmlns.com/foaf/0.1/topic_interest Rewriting calculus
http://xmlns.com/foaf/0.1/topic_interest Fonction
http://xmlns.com/foaf/0.1/name Benjamin Wack
http://xmlns.com/foaf/0.1/familyName Wack
http://xmlns.com/foaf/0.1/topic_interest Condition
http://xmlns.com/foaf/0.1/topic_interest Image numérique
http://xmlns.com/foaf/0.1/topic_interest Pixel
http://xmlns.com/foaf/0.1/topic_interest Boucle
http://xmlns.com/foaf/0.1/topic_interest Lambda-calcul
http://xmlns.com/foaf/0.1/topic_interest Principe de Poincaré
http://xmlns.com/foaf/0.1/topic_interest Langage de programmation
http://xmlns.com/foaf/0.1/topic_interest Syntaxe d'un programme
http://xmlns.com/foaf/0.1/topic_interest Séquence d'instructions
http://xmlns.com/foaf/0.1/topic_interest Typage
http://xmlns.com/foaf/0.1/topic_interest Déduction
http://xmlns.com/foaf/0.1/topic_interest Pattern matching
http://xmlns.com/foaf/0.1/topic_interest Codage de l'information
http://xmlns.com/foaf/0.1/topic_interest Lambda calculus
http://xmlns.com/foaf/0.1/topic_interest Poincaré principle
http://xmlns.com/foaf/0.1/topic_interest Programme
http://xmlns.com/foaf/0.1/topic_interest Term rewriting systems
http://xmlns.com/foaf/0.1/topic_interest Stockage de l'information
http://xmlns.com/foaf/0.1/topic_interest Algorithme
http://xmlns.com/foaf/0.1/topic_interest Type systems
http://xmlns.com/foaf/0.1/topic_interest Preuve de programme
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds

Télécharger au format