Category theory, logic and formal linguistics: some connections, old and new
hal.structure.identifier | Institut de Mathématiques de Bordeaux [IMB] | |
dc.contributor.author | GILLIBERT, Jean | |
hal.structure.identifier | Exploration et exploitation de données textuelles [TEXTE] | |
hal.structure.identifier | Institut de Mathématiques de Bordeaux [IMB] | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | RETORÉ, Christian | |
dc.date.accessioned | 2024-04-04T02:20:07Z | |
dc.date.available | 2024-04-04T02:20:07Z | |
dc.date.created | 2014-01-24 | |
dc.date.issued | 2014-03-01 | |
dc.identifier.issn | 1570-8683 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/189465 | |
dc.description.abstractEn | We 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.iso | en | |
dc.publisher | Elsevier | |
dc.subject.en | Logic | |
dc.subject.en | Category theory | |
dc.subject.en | Formal linguistics | |
dc.subject.en | Type theory | |
dc.title.en | Category theory, logic and formal linguistics: some connections, old and new | |
dc.type | Article de revue | |
dc.identifier.doi | 10.1016/j.jal.2014.01.001 | |
dc.subject.hal | Mathématiques [math]/Catégories et ensembles [math.CT] | |
dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
dc.identifier.arxiv | 1401.6574 | |
bordeaux.journal | Journal of Applied Logic | |
bordeaux.page | 1-13 | |
bordeaux.volume | 12 | |
bordeaux.hal.laboratories | Institut de Mathématiques de Bordeaux (IMB) - UMR 5251 | * |
bordeaux.issue | 1 | |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00936338 | |
hal.version | 1 | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00936338v1 | |
bordeaux.COinS | ctx_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 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |