PittsburghV1, Main, Merge, indexHead, AutAff.i

Author's uniq id: Curien P
Total number of names:
Total number of records with affiliations: 1

Pierre-Louis Curien

200920939A Design, study and implementation of languages for proofs and programs PI.R2 2015-12-31 http://www.inria.fr/equipes/pi.r2 Preuves, Programmes et Systèmes PPS 2015-12-31 Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13 http://www.pps.univ-paris-diderot.fr Université Paris Diderot - Paris 7 UPD7 5 rue Thomas-Mann - 75205 Paris cedex 13 http://www.univ-paris-diderot.fr 02636817X 0000000122597504 Centre National de la Recherche Scientifique CNRS 1939-10-19 http://www.cnrs.fr/ 196718247G Inria Paris-Rocquencourt INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Paris http://www.inria.fr/centre/paris-rocquencourt Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/
France

007B26

<g><k>Curien P</k>
<l><g><k>Pierre-Louis Curien</k>
<l><g><k><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-90567" status="OLD">          <idno type="RNSR">200920939A</idno>
          <orgName>Design, study and implementation of languages for proofs and programs</orgName>
          <orgName type="acronym"> PI.R2 </orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/equipes/pi.r2</ref>
          </desc>
          <listRelation>            <relation active="#struct-1067" type="direct"></relation>
            <relation active="#struct-300301" type="direct"></relation>
            <relation name="UMR7126" active="#struct-441569" type="direct"></relation>
            <relation active="#struct-86790" type="direct"></relation>
            <relation active="#struct-300009" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-1067" type="direct"><org type="laboratory" xml:id="struct-1067" status="OLD">          <orgName>Preuves, Programmes et Systèmes</orgName>
          <orgName type="acronym">PPS</orgName>
          <date type="end">2015-12-31</date>
          <desc>            <address>              <addrLine>Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.pps.univ-paris-diderot.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-300301" type="direct"></relation>
            <relation name="UMR7126" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300301" type="direct"><org type="institution" xml:id="struct-300301" status="VALID">          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <desc>            <address>              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-paris-diderot.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR7126" active="#struct-441569" type="direct"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-86790" type="direct"><org type="laboratory" xml:id="struct-86790" status="VALID">          <idno type="RNSR">196718247G</idno>
          <orgName>Inria Paris-Rocquencourt</orgName>
          <desc>            <address>              <addrLine>INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex / INRIA Paris - 23 avenue d'Italie 75013 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris-rocquencourt</ref>
          </desc>
          <listRelation>            <relation active="#struct-300009" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l><i>007B26</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>1</n>
<t>1</t>
</g>

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh