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

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

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Developpement de Taylor-Ehrhard-Regnier
http://xmlns.com/foaf/0.1/topic_interest Lambda calcul
http://xmlns.com/foaf/0.1/familyName Solieri
http://xmlns.com/foaf/0.1/topic_interest Dynamic Algebra
http://xmlns.com/foaf/0.1/topic_interest Computational complexity
http://xmlns.com/foaf/0.1/firstName Marco
http://xmlns.com/foaf/0.1/topic_interest Graphes de partage
http://xmlns.com/foaf/0.1/topic_interest Denotational semantics
http://xmlns.com/foaf/0.1/topic_interest Programming Languages Semantics
http://xmlns.com/foaf/0.1/topic_interest Linearisation
http://xmlns.com/foaf/0.1/topic_interest Interaction Nets
http://www.w3.org/2002/07/owl#sameAs 0000-0003-4531-2633
http://xmlns.com/foaf/0.1/topic_interest Lambda calculus
http://xmlns.com/foaf/0.1/mbox_sha1sum a34a41fb6d5920fe25825fe497c8f858
http://xmlns.com/foaf/0.1/topic_interest Paths
http://xmlns.com/foaf/0.1/topic_interest Linear 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 Non-determinism
http://xmlns.com/foaf/0.1/topic_interest Path
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/marco-solieri
http://xmlns.com/foaf/0.1/topic_interest Reseaux de preuve
http://xmlns.com/foaf/0.1/topic_interest Linearity
http://xmlns.com/foaf/0.1/topic_interest Resource lambda calculus
http://xmlns.com/foaf/0.1/topic_interest Optimal reduction
http://xmlns.com/foaf/0.1/topic_interest Proof nets
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest Reduction optimale
http://xmlns.com/foaf/0.1/topic_interest Sharing graphs
http://xmlns.com/foaf/0.1/topic_interest Resource λ-calculus
http://xmlns.com/foaf/0.1/name Marco Solieri
http://xmlns.com/foaf/0.1/topic_interest Geometry of interaction
http://xmlns.com/foaf/0.1/topic_interest Λ-calculus
http://xmlns.com/foaf/0.1/topic_interest Semantics of programming languages
http://xmlns.com/foaf/0.1/topic_interest Taylor-Ehrhard-Regnier expansion
http://xmlns.com/foaf/0.1/topic_interest Lambda calcul avec ressources
http://xmlns.com/foaf/0.1/topic_interest Geometrie de l'interaction
https://aurehal.archives-ouvertes.fr/author/1560

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