Category theory, logic and formal linguistics: some connections, old and new
RETORÉ, Christian
Exploration et exploitation de données textuelles [TEXTE]
Institut de Mathématiques de Bordeaux [IMB]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Exploration et exploitation de données textuelles [TEXTE]
Institut de Mathématiques de Bordeaux [IMB]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
RETORÉ, Christian
Exploration et exploitation de données textuelles [TEXTE]
Institut de Mathématiques de Bordeaux [IMB]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
< Reduce
Exploration et exploitation de données textuelles [TEXTE]
Institut de Mathématiques de Bordeaux [IMB]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Language
en
Article de revue
This item was published in
Journal of Applied Logic. 2014-03-01, vol. 12, n° 1, p. 1-13
Elsevier
English Abstract
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, ...Read more >
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.Read less <
English Keywords
Logic
Category theory
Formal linguistics
Type theory
Origin
Hal imported