Category theory,logic and formal linguistics: Some connections,old and new |
| |
| Institution: | IMB, LaBRI — Université de Bordeaux, France;IMB, LaBRI — Universit´e de Bordeaux;IMB, LaBRI — Universit´e de Bordeaux |
| |
| 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, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning. |
| |
| Keywords: | Logic Type theory Category theory Formal linguistics |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
