Spaces for linguistic representations and the semantics of linear Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

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.
Fichier non déposé

Dates et versions

inria-00098911 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098911 , version 1

Citer

François Lamarche. Spaces for linguistic representations and the semantics of linear Logic. Dagstuhl Seminar 22.08.1999 - 27.08.1999, R. Crouch, J. Van Genabith, V. de Paive, E. Ritter, Aug 1999, none. ⟨inria-00098911⟩
99 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More