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

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

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ti
http://xmlns.com/foaf/0.1/topic_interest Bar-récursion
http://xmlns.com/foaf/0.1/topic_interest Programming language
http://xmlns.com/foaf/0.1/topic_interest Lambda-Mu-Calculus
http://xmlns.com/foaf/0.1/topic_interest Hyland Ong game semantics
http://xmlns.com/foaf/0.1/topic_interest Coq
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/vblot
http://xmlns.com/foaf/0.1/topic_interest Automated reasoning
http://xmlns.com/foaf/0.1/topic_interest Réalisabilité
http://xmlns.com/foaf/0.1/topic_interest Image transformation
http://xmlns.com/foaf/0.1/mbox_sha1sum 8c663a2ce81551af37d014953d06343b
http://xmlns.com/foaf/0.1/topic_interest Quasi-affine transform
http://xmlns.com/foaf/0.1/topic_interest Lambda-mu calculus
http://xmlns.com/foaf/0.1/topic_interest Classical Realizability
http://xmlns.com/foaf/0.1/topic_interest Realizability
http://xmlns.com/foaf/0.1/topic_interest Hyland-Ong game semantics
http://xmlns.com/foaf/0.1/topic_interest Type theory
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Arithmetic
http://xmlns.com/foaf/0.1/topic_interest Interactive theorem proving
http://xmlns.com/foaf/0.1/name Valentin Blot
http://xmlns.com/foaf/0.1/topic_interest Logique classique
http://xmlns.com/foaf/0.1/topic_interest Axiom of choice
http://xmlns.com/foaf/0.1/topic_interest Calculus of Inductive Constructions
http://xmlns.com/foaf/0.1/firstName Valentin
http://xmlns.com/foaf/0.1/topic_interest Classical realizability
http://xmlns.com/foaf/0.1/topic_interest Lambda-mu calcul
http://xmlns.com/foaf/0.1/topic_interest Logical framework
http://xmlns.com/foaf/0.1/topic_interest Bar-Recursion
http://xmlns.com/foaf/0.1/topic_interest Rewriting
http://xmlns.com/foaf/0.1/topic_interest Sémantique des jeux de Hyland et Ong
http://xmlns.com/foaf/0.1/topic_interest Periodic tiling
http://xmlns.com/foaf/0.1/topic_interest Higher order logic
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 Arithmétique de Peano
http://xmlns.com/foaf/0.1/topic_interest Axiome du choix
http://xmlns.com/foaf/0.1/topic_interest Classical logic
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest Games Semantics
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Peano arithmetic
http://xmlns.com/foaf/0.1/topic_interest Pre-processing
http://xmlns.com/foaf/0.1/familyName Blot
https://aurehal.archives-ouvertes.fr/author/1545

Télécharger au format  
RDF/XML Turtle N3 Json