<?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-01211540</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-17T22:28:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Les mathématiques de la langue : l'approche formelle de Montague</title>
            <author role="aut">
              <persName>
                <forename type="first">Yannis</forename>
                <surname>Haralambous</surname>
              </persName>
              <email type="md5">4c95cadb5cdd203327cfaa3919bb900d</email>
              <email type="domain">imt-atlantique.fr</email>
              <idno type="idhal" notation="string">yannis-haralambous</idno>
              <idno type="idhal" notation="numeric">17494</idno>
              <idno type="halauthorid" notation="string">44435-17494</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1443-6115</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2LgIx5EAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/077914457</idno>
              <idno type="ARXIV">https://arxiv.org/a/haralambous_y_1</idno>
              <affiliation ref="#struct-390402"/>
              <affiliation ref="#struct-7071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ex-Bibliothèque</forename>
                <surname>Télécom Bretagne (devenu IMT Atlantique)</surname>
              </persName>
              <email type="md5">1db35bce4a31c4f6d23fbf67e680f0f9</email>
              <email type="domain">imt-atlantique.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-10-05 12:35:12</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2015-10-05 12:35:12</date>
              <date type="whenProduced">2015-10</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1405.4248"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142672">
                <persName>
                  <forename>Ex-Bibliothèque</forename>
                  <surname>Télécom Bretagne (devenu IMT Atlantique)</surname>
                </persName>
                <email type="md5">1db35bce4a31c4f6d23fbf67e680f0f9</email>
                <email type="domain">imt-atlantique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01211540</idno>
            <idno type="halUri">https://hal.science/hal-01211540</idno>
            <idno type="halBibtex">haralambous:hal-01211540</idno>
            <idno type="halRefHtml">&lt;i&gt;Quadrature&lt;/i&gt;, 2015, 98, pp.9-19</idno>
            <idno type="halRef">Quadrature, 2015, 98, pp.9-19</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-BREST">Université de Bretagne occidentale - Brest (UBO)</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="TELECOM-BRETAGNE">Télécom Bretagne</idno>
            <idno type="stamp" n="ENIB">Ecole Nationale d'Ingénieurs de Brest</idno>
            <idno type="stamp" n="LAB-STICC_ENIB" corresp="ENIB">Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance, site ENIB Brest</idno>
            <idno type="stamp" n="LAB-STICC">Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</idno>
            <idno type="stamp" n="LAB-STICC_TB" corresp="TELECOM-BRETAGNE">Publications Télécom Bretagne du Lab-STICC</idno>
            <idno type="stamp" n="LAB-STICC_IMTA_CID_DECIDE">Equipe DECIDE</idno>
            <idno type="stamp" n="IMTA_INFO">IMT Atlantique - Département informatique</idno>
            <idno type="stamp" n="LAB-STICC_IMTA">Lab-STICC - IMT Atlantique</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Les mathématiques de la langue : l'approche formelle de Montague</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yannis</forename>
                    <surname>Haralambous</surname>
                  </persName>
                  <email type="md5">4c95cadb5cdd203327cfaa3919bb900d</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <idno type="idhal" notation="string">yannis-haralambous</idno>
                  <idno type="idhal" notation="numeric">17494</idno>
                  <idno type="halauthorid" notation="string">44435-17494</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1443-6115</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2LgIx5EAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/077914457</idno>
                  <idno type="ARXIV">https://arxiv.org/a/haralambous_y_1</idno>
                  <affiliation ref="#struct-390402"/>
                  <affiliation ref="#struct-7071"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">14237</idno>
                <idno type="halJournalId" status="VALID">24375</idno>
                <idno type="issn">1142-2785</idno>
                <idno type="eissn">1760-4826</idno>
                <title level="j">Quadrature</title>
                <imprint>
                  <publisher>EDP Sciences</publisher>
                  <biblScope unit="issue">98</biblScope>
                  <biblScope unit="pp">9-19</biblScope>
                  <date type="datePub">2015-10</date>
                  <date type="dateEpub">2014-05-16</date>
                </imprint>
              </monogr>
              <idno type="arxiv">1405.4248</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">Vulgarisation</term>
                <term xml:lang="fr">Traitement automatique de langues</term>
                <term xml:lang="fr">Sémantique formelle</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-hc">Computer Science [cs]/Human-Computer Interaction [cs.HC]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée "sémantique formelle", a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le lambda-calcul. Nous nous proposons de faire découvrir au lecteur tant la sémantique formelle de Montague que les outils mathématiques dont il s'est servi.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-390402" status="OLD">
          <orgName>Lab-STICC_TB_CID_DECIDE</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-199324" type="direct"/>
            <relation active="#struct-108091" type="indirect"/>
            <relation active="#struct-131284" type="indirect"/>
            <relation active="#struct-300314" type="indirect"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-301521" type="indirect"/>
            <relation active="#struct-301846" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="UMR6285" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-7071" status="OLD">
          <orgName>Département informatique</orgName>
          <orgName type="acronym">INFO</orgName>
          <desc>
            <address>
              <addrLine>Télécom Bretagne Technopole Brest Iroise CS 83818 29238 Brest Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-info.enst-bretagne.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-108091" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-199324" status="OLD">
          <orgName>Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</orgName>
          <orgName type="acronym">Lab-STICC</orgName>
          <desc>
            <address>
              <addrLine>Technopole Brest Iroise BP 832 29285 BREST CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lab-sticc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-108091" type="direct"/>
            <relation active="#struct-131284" type="direct"/>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-301521" type="direct"/>
            <relation active="#struct-301846" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation name="UMR6285" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-108091" status="OLD">
          <idno type="ROR">https://ror.org/033c46s90</idno>
          <orgName>Université européenne de Bretagne - European University of Brittany</orgName>
          <orgName type="acronym">UEB</orgName>
          <desc>
            <address>
              <addrLine>5 boulevard Laënnec - 35000 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ueb.eu/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-131284" status="VALID">
          <idno type="ROR">https://ror.org/02ypw0a72</idno>
          <orgName>École Nationale d'Ingénieurs de Brest</orgName>
          <orgName type="acronym">ENIB</orgName>
          <desc>
            <address>
              <addrLine>945 avenue du Technopole - 29280 Plouzané</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.enib.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-300314" status="VALID">
          <idno type="IdRef">291809022</idno>
          <idno type="ISNI">0000000121880893</idno>
          <idno type="ROR">https://ror.org/0372th171</idno>
          <orgName>Université de Brest</orgName>
          <orgName type="acronym">UBO EPE</orgName>
          <desc>
            <address>
              <addrLine>Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-brest.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1705235" status="VALID">
          <idno type="IdRef">291816037</idno>
          <orgName>Institut National Polytechnique de Bretagne</orgName>
          <orgName type="acronym">Bretagne INP</orgName>
          <date type="start">2025-03-01</date>
          <desc>
            <address>
              <addrLine>945 avenue du Technopôle Brest-Iroise, 29289 Plouzané</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-301521" status="VALID">
          <orgName>Institut Brestois du Numérique et des Mathématiques</orgName>
          <orgName type="acronym">IBNM</orgName>
          <desc>
            <address>
              <addrLine>Université de Brest - UBO3 Rue des Archives, 29238 Brest</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-brest.fr/menu/recherche-innovation/Laboratoires/Axe+Num%C3%A9rique-Math%C3%A9matiques/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300314" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301846" status="OLD">
          <idno type="IdRef">177263660</idno>
          <idno type="ROR">https://ror.org/059n54003</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées Bretagne</orgName>
          <orgName type="acronym">ENSTA Bretagne</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</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"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>