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.
Sieckman G < Sieczkowski F < Siede W

Filip Sieczkowski
Programming languages, types, compilation and proofs GALLIUM http://www.inria.fr/equipes/gallium 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
000065

<g>
<k>Sieczkowski F</k>
<l>
<g>
<k>Filip Sieczkowski</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-454410" status="OLD">
<orgName>Programming languages, types, compilation and proofs</orgName>
<orgName type="acronym">GALLIUM</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/gallium</ref>
</desc>
<listRelation>
<relation active="#struct-86790" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
</listRelation>
<tutelles>
<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>000065</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>

Wicri

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