Category theory, logic and formal linguistics: some connections, old and new
Idioma
en
Article de revue
Este ítem está publicado en
Journal of Applied Logic. 2014-03-01, vol. 12, n° 1, p. 1-13
Elsevier
Resumen en inglés
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, ...Leer más >
Palabras clave en inglés
Logic
Category theory
Formal linguistics
Type theory