Mostrar el registro sencillo del ítem

Category theory, logic and formal linguistics: some connections, old and new

hal.structure.identifierInstitut de Mathématiques de Bordeaux [IMB]
dc.contributor.authorGILLIBERT, Jean
hal.structure.identifierExploration et exploitation de données textuelles [TEXTE]
hal.structure.identifierInstitut de Mathématiques de Bordeaux [IMB]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorRETORÉ, Christian
dc.date.accessioned2024-04-04T02:20:07Z
dc.date.available2024-04-04T02:20:07Z
dc.date.created2014-01-24
dc.date.issued2014-03-01
dc.identifier.issn1570-8683
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/189465
dc.description.abstractEnWe seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.
dc.language.isoen
dc.publisherElsevier
dc.subject.enLogic
dc.subject.enCategory theory
dc.subject.enFormal linguistics
dc.subject.enType theory
dc.title.enCategory theory, logic and formal linguistics: some connections, old and new
dc.typeArticle de revue
dc.identifier.doi10.1016/j.jal.2014.01.001
dc.subject.halMathématiques [math]/Catégories et ensembles [math.CT]
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.identifier.arxiv1401.6574
bordeaux.journalJournal of Applied Logic
bordeaux.page1-13
bordeaux.volume12
bordeaux.hal.laboratoriesInstitut de Mathématiques de Bordeaux (IMB) - UMR 5251*
bordeaux.issue1
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.peerReviewedoui
hal.identifierhal-00936338
hal.version1
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00936338v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Journal%20of%20Applied%20Logic&rft.date=2014-03-01&rft.volume=12&rft.issue=1&rft.spage=1-13&rft.epage=1-13&rft.eissn=1570-8683&rft.issn=1570-8683&rft.au=GILLIBERT,%20Jean&RETOR%C3%89,%20Christian&rft.genre=article


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem