<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02477000</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T19:25:23+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Variables, quantities and types</title>
            <title xml:lang="fr">Variables, grandeurs et types</title>
            <author role="aut">
              <persName>
                <forename type="first">Yannis</forename>
                <surname>Delmas-Rigoutsos</surname>
              </persName>
              <email type="md5">cb763f5277ea4ce04970e0ec2d5153ec</email>
              <email type="domain">univ-poitiers.fr</email>
              <idno type="idhal" notation="string">yannis-delmas-rigoutsos</idno>
              <idno type="idhal" notation="numeric">18648</idno>
              <idno type="halauthorid" notation="string">9724-18648</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9274-3316</idno>
              <affiliation ref="#struct-478755"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Yannis</forename>
                <surname>Delmas-Rigoutsos</surname>
              </persName>
              <email type="md5">cb763f5277ea4ce04970e0ec2d5153ec</email>
              <email type="domain">univ-poitiers.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-02-13 10:04:21</date>
              <date type="whenWritten">2019-10-23</date>
              <date type="whenModified">2025-10-06 14:52:02</date>
              <date type="whenReleased">2020-02-20 09:50:22</date>
              <date type="whenProduced">2020-02-05</date>
              <date type="whenEndEmbargoed">2020-02-13</date>
              <ref type="file" target="https://hal.science/hal-02477000v1/document">
                <date notBefore="2020-02-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02477000v1/file/Yannis%20Delmas-Rigoutsos%20-%20Variables%2C%20grandeurs%20et%20types.pdf" id="file-2477000-2354709">
                <date notBefore="2020-02-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="145640">
                <persName>
                  <forename>Yannis</forename>
                  <surname>Delmas-Rigoutsos</surname>
                </persName>
                <email type="md5">cb763f5277ea4ce04970e0ec2d5153ec</email>
                <email type="domain">univ-poitiers.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02477000</idno>
            <idno type="halUri">https://hal.science/hal-02477000</idno>
            <idno type="halBibtex">delmasrigoutsos:hal-02477000</idno>
            <idno type="halRefHtml">&lt;i&gt;L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation&lt;/i&gt;, Feb 2020, Lille, France</idno>
            <idno type="halRef">L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by-nc-sa/4.0/">CC BY-NC-SA 4.0 - Attribution - Non-commercial use - ShareAlike<ref corresp="#file-2477000-2354709"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-POITIERS">Université de Poitiers</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="TECHNE">Technologies numériques pour l’éducation</idno>
            <idno type="stamp" n="CULTURES_INFORMATION">Cultures de l’information</idno>
            <idno type="stamp" n="DIDAPRO8">Didapro 8 – DidaSTIC</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Variables, quantities and types</title>
                <title xml:lang="fr">Variables, grandeurs et types</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yannis</forename>
                    <surname>Delmas-Rigoutsos</surname>
                  </persName>
                  <email type="md5">cb763f5277ea4ce04970e0ec2d5153ec</email>
                  <email type="domain">univ-poitiers.fr</email>
                  <idno type="idhal" notation="string">yannis-delmas-rigoutsos</idno>
                  <idno type="idhal" notation="numeric">18648</idno>
                  <idno type="halauthorid" notation="string">9724-18648</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9274-3316</idno>
                  <affiliation ref="#struct-478755"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>L’informatique, objets d’enseignements enjeux épistémologiques, didactiques et de formation</title>
                  <date type="start">2020-02-05</date>
                  <date type="end">2020-02-07</date>
                  <settlement>Lille</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
              <ref type="publisher">https://www.didapro.org/8/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">Didactique des mathématiques</term>
                <term xml:lang="fr">Épistémologie de l'informatique</term>
                <term xml:lang="fr">Didactique de l'Informatique</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-cy">Computer Science [cs]/Computers and Society [cs.CY]</classCode>
              <classCode scheme="halDomain" n="info.info-gl">Computer Science [cs]/General Literature [cs.GL]</classCode>
              <classCode scheme="halDomain" n="math.math-ho">Mathematics [math]/History and Overview [math.HO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>En France, les enseignements du collège abordent en informatique, en mathématiques et en sciences, les notions de variable, d'indéterminée et de grandeur. Plusieurs travaux [17,8,21] montrent les difficultés conceptuelles associées à ces notions, y compris chez les enseignants. En nous appuyant sur l'histoire et l'épistémologie de ces disciplines, nous clarifions ces notions. Nous formulons ensuite des recommandations curriculaires en nous appuyant sur les concepts informatiques de substitution, de correspondance preuve-programme [9] et d'indirection [24,6,25]. Nous plaidons notamment pour l'exploitation de la substitution et du lien fondamental entre type computationnel et nature de grandeur.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-478755" status="OLD">
          <idno type="IdRef">164822887</idno>
          <idno type="RNSR">201220297P</idno>
          <orgName>Technologies numériques pour l'éducation [EA 6316]</orgName>
          <orgName type="acronym">Techné [Poitiers]</orgName>
          <date type="start">2012-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>UFR Lettres et Langues – Bâtiment A3 – 1 rue Raymond Cantel – TSA 11102 – 86073 Poitiers cedex 9 – France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://techne.labo.univ-poitiers.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA6316" active="#struct-54493" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-54493" status="VALID">
          <idno type="IdRef">026403765</idno>
          <idno type="ISNI">0000000121606368</idno>
          <idno type="ROR">https://ror.org/04xhy8q59</idno>
          <idno type="Wikidata">Q661056</idno>
          <orgName>Université de Poitiers =  University of Poitiers</orgName>
          <orgName type="acronym">UP</orgName>
          <desc>
            <address>
              <addrLine>15, rue de l'Hôtel Dieu - 86034 Poitiers Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-poitiers.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>