Spaces for linguistic representations and the semantics of linear Logic
Résumé
We present the first results of a theory of "spaces whose points are small spaces themselves", based on ideas of topos theory and linear logic, which is developed as a tool for different areas of computer science, including the semantics of linear logic and linguistic representations that are more subtle than trees or words.