Category theory, logic and formal linguistics: some connections, old and new
Langue
en
Article de revue
Ce document a été publié dans
Journal of Applied Logic. 2014-03-01, vol. 12, n° 1, p. 1-13
Elsevier
Résumé en anglais
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, ...Lire la suite >
Mots clés en anglais
Logic
Category theory
Formal linguistics
Type theory